positiveInteger is derived from nonNegativeInteger by fixing the value of minInclusive to be 1. This results in the standard
mathematical concept of the positive integer numbers. The value space of positiveInteger is the infinite set {1,2,...}. The
base type of positiveInteger is nonNegativeInteger.