9.1.4 Floating Point

The AArch64 architecture uses ieee floating-point numbers.