DEFINITION MODULE RealIO;
(* REAL input/output over the runtime shim.  WriteReal emits 6
   significant digits in scientific notation with one leading space
   (ISO convention); WriteRealF right-justifies in a field. *)

PROCEDURE WriteReal(x : REAL);
PROCEDURE WriteRealF(x : REAL; width : CARDINAL);
PROCEDURE ReadReal(VAR x : REAL);

END RealIO.