Errata exists for this version of the document.

This abstract DataType defines an integer whose length is defined by its subtypes.