A type that encapsulates integer values from 0 (inclusive) to
positive infinity (exclusive).
datatype nonnegative
subtypes integer
| ← integer | ideal • library • elements • nonnegative | null → |
| ← integer | ideal • library • elements • nonnegative | null → |