IntegerDisplayWidthType

Marks an integer type that can carry a display width.