PROCEDURE RealToString* (x: REAL; minDigits, precision: INTEGER; OUT s: ARRAY OF CHAR);
      VAR
         n, i, j, p: INTEGER;
        p10: REAL; 
   BEGIN
      ASSERT(precision >= 0, 20);
      ASSERT(minDigits >= 0, 21);
      p := precision;
      IF p = 0 THEN   p := 1 END;
      p10 := Math.IntPower(10.0, p);
      x := Math.Round(p10*x)/p10;
      Strings.RealToStringForm(x, 16, 0, -p, Strings.digitspace, s);
    j := LEN(s$) - 1;
    IF precision = 0 THEN
       IF s[j - 1] = '.' THEN s[j - 1] := 0X END
    ELSE
         n := precision - minDigits;
       WHILE (j >= 0) & (s[j] = '0') & (n > 0) DO s[j] := 0X; DEC(j); DEC(n) END;
         IF (j > 0) & (s[j] = '.') THEN s[j] := 0X END
    END      
   END RealToString;