MODULE Math2Prog;
(* Math additions: hypot/floor/ceil/trunc/log10. Exit 31. *)
IMPORT Math;
VAR ExitCode : INTEGER;
BEGIN
  ExitCode := 0;
  IF Math.hypot(3.0, 4.0) = 5.0 THEN ExitCode := ExitCode + 1 END;
  IF Math.floor(3.7) = 3.0 THEN ExitCode := ExitCode + 2 END;
  IF Math.ceil(3.2) = 4.0 THEN ExitCode := ExitCode + 4 END;
  IF Math.trunc(-3.7) = -3.0 THEN ExitCode := ExitCode + 8 END;
  IF Math.log10(1000.0) = 3.0 THEN ExitCode := ExitCode + 16 END
END Math2Prog.