as: ARM Floating Point

1 
1 9.4.3 Floating Point
1 --------------------
1 
1 The ARM family uses IEEE floating-point numbers.
1