toPositiveInt
Returns this number as a PositiveInt, which may involve rounding or truncation, or throws an IllegalArgumentException if this number is strictly negative.
Returns this number as a PositiveInt, which may involve rounding or truncation, or throws an IllegalArgumentException if this number is strictly negative.