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.