positiveIntOrThrow

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