positiveIntOrThrow
Returns the value as a PositiveInt, or throws an IllegalArgumentException if the value is strictly negative.
Returns the value as a PositiveInt, or throws an IllegalArgumentException if the value is strictly negative.