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