9.4.3 Floating Point

The ARM family uses ieee floating-point numbers.