min

The minimum value a NegativeInt can have.