MODULE inf;

IMPORT  InOut;

BEGIN
  InOut.WriteReal (1.0 / 0.0, 12, 12);
  InOut.WriteLn
END inf.