9.4.3 Floating Point

The ARM family uses IEEE floating-point numbers.