<> <> <> <> <<>> IPReal: CEDAR DEFINITIONS ~ BEGIN Floor: PROC [a: REAL] RETURNS [REAL]; Ceiling: PROC [a: REAL] RETURNS [REAL]; Trunc: PROC [a: REAL] RETURNS [REAL]; Round: PROC [a: REAL] RETURNS [REAL]; Mod: PROC [a, b: REAL] RETURNS [REAL]; Rem: PROC [a, b: REAL] RETURNS [REAL]; ShortRational: TYPE ~ RECORD [numerator: INTEGER, denominator: CARDINAL]; ShortRationalFromReal: PROC [real: REAL] RETURNS [ShortRational]; <> <> <> Rational: TYPE ~ RECORD [numerator: INT, denominator: INT]; <> RationalFromReal: PROC [real: REAL] RETURNS [Rational]; <> <> <> END.