<> <> <> 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.