Next: Variables
Up: Terms
Previous: Atoms
  Contents
  Index
A number is either an integer or a floating-point number. An integer is a
sequence of decimal digits2.1.
A floating-point number consists of optionally an integer, then a
decimal point and then another integer2.2.
For example, 23.2 and 0.23 are valid floating-point
numbers.
Neng-Fa Zhou
1999-11-24