Errata exists for this version of the document.

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