Returns this integer as a NegativeInt, or IllegalArgumentException if this integer is strictly positive.