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.
The text of the Arduino reference is licensed under a Creative Commons Attribution-ShareAlike 3.0 License. Code samples in the reference are released into the public domain.