as: Alpha Floating Point

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