Copyright (C) 1994, Digital Equipment Corp.
INTERFACEThis interface describes the layout of IEEE single precision reals on little endian machinesRealRep ;
TYPE T = RECORD significand: BITS 23 FOR [16_0 .. 16_7fffff] := 0; exponent: BITS 8 FOR [16_0 .. 16_ff] := 0; sign: BITS 1 FOR [16_0 .. 16_1] := 0; END; CONST NegInf = T { sign := 1, exponent := 16_ff }; PosInf = T { sign := 0, exponent := 16_ff }; Nan = T { sign := 0, exponent := 16_ff, significand := 1 }; END RealRep.