The RS08 compiler supports only the IEEE32 floating point format. The figure below shows this format.
Floats are implemented as IEEE32. This may vary for a specific Backend, or possibly, both formats may not be supported.