Copyright (C) 1994, Digital Equipment Corp.
INTERFACEThis interface describes the layout of IEEE double precision reals on little endian machinesLongRealRep ;
TYPE T = RECORD significand1 : BITS 32 FOR [-16_7fffffff-1 .. 16_7fffffff] := 0; significand0 : BITS 20 FOR [0..16_FFFFF] := 0; exponent : BITS 11 FOR [0..16_7FF] := 0; sign : BITS 1 FOR [0..1] := 0; END; CONST NegInf = T { sign := 1, exponent := 16_7FF }; PosInf = T { sign := 0, exponent := 16_7FF }; Nan = T { sign := 0, exponent := 16_7FF, significand0 := 1 }; END LongRealRep.