Errata exists for this version of the document.
This abstract DataType defines a number. Details are defined by its subtypes.