max

The maximum value a NonZeroInt can have.