9.2.4 Floating Point

The Alpha family uses both IEEE and VAX floating-point numbers.