Natural numbers (including 0): 0, 1, 2, 3, 4, 5, 6, 7, ...
Internally, this type is represented as an
Integer allowing for
an infinity of possible values.
Its
Enum,
Listable and
Num instances only produce
non-negative values. When
x < y then
x - y = 0.