as: AArch64 Floating Point

 
 9.1.4 Floating Point
 --------------------
 
 The AArch64 architecture uses IEEE floating-point numbers.