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];
END.