9.1.4 Floating Point

The AArch64 architecture uses IEEE floating-point numbers.