MODULE TConstReal;
// CONST initialisers that convert an integer immediate to REAL:
// VAL(REAL, ...) and FLOAT(...) fold to a real immediate.  Exit 42.
CONST r = VAL(REAL, 5);
      f = FLOAT(7);
      n = VAL(REAL, -3);
VAR ExitCode : INTEGER;
BEGIN
  IF (r = 5.0) AND (f = 7.0) AND (n = -3.0)
  THEN ExitCode := 42 ELSE ExitCode := 1 END
END TConstReal.