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