8.4.3 Floating Point
The ARM family uses
ieee
floating-point numbers.