9.1.4 Floating Point
The Alpha family uses both
ieee
and VAX floating-point numbers.