toPositiveInt

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