The VFPLite coprocessor is fully compliant with the IEEE 754 standard in hardware, no support code is required to achieve this compliance.

See the ARM Architecture Reference Manual for information about VFP architecture compliance with the IEEE 754 standard.