The ARC core does not currently have hardware floating point support. Software floating point support is provided by `GCC' and uses IEEE floating-point numbers.