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