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.