8.31 Number

This abstract DataType defines a number. Details are defined by its subtypes.