<number>

──┬────────┬─<unsigned number>─────────────────────────────────────────┤
  └─<sign>─┘

<sign>

──┬─ + ─┬──────────────────────────────────────────────────────────────┤
  └─ - ─┘

<unsigned number>

──┬─<decimal number>─┬─────────────────┬───────────────────────────────┤
  │                  └─<exponent part>─┤
  └─<exponent part>────────────────────┘

<decimal number>

──┬─<unsigned integer>─┬────────────────────┬──────────────────────────┤
  │                    ├─<decimal fraction>─┤
  │                    └─ . ────────────────┤
  └─<decimal fraction>──────────────────────┘

<unsigned integer>

  ┌◄────────┐
──┴─<digit>─┴──────────────────────────────────────────────────────────┤

<decimal fraction>

── . ──<unsigned integer>──────────────────────────────────────────────┤

<exponent part>

── @ ─┬─────┬─<integer>────────────────────────────────────────────────┤
      └─ @ ─┘

<integer>

──┬────────┬─<unsigned integer>────────────────────────────────────────┤
  └─<sign>─┘

No space can appear within a decimal number. A number that contains the double-precision exponent delimiter @@ is considered to be a double-precision number. A number without @@ that can be represented in single-precision without loss of precision or range is considered to be a single-precision number.

Otherwise, a number without @@ that can be represented in double integer without loss of precision or range is controlled by the $DINTEGER compiler control option. If $DINTEGER is set, the number is considered to be a double integer number. If $DINTEGER is reset, the number is considered to be a single-precision number and is rounded. All other numbers are considered to be single-precision numbers.

Examples