max

The maximum value of a NegativeInt.