next up previous contents index
Next: Variables Up: Terms Previous: Atoms   Contents   Index

Numbers

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