8.1.3 Floating Point
The AMD 29K family uses
ieee
floating-point numbers.