toPositiveInt
Returns this integer as a PositiveInt, or returns an IllegalArgumentException if this integer is strictly negative.
Returns this integer as a PositiveInt, or returns an IllegalArgumentException if this integer is strictly negative.