max

The maximum value a NegativeInt can have.