Comment by chriswarbo

Rather than removing 0 from a numeric type, we can avoid including it at all. For example, we can have a bunch of numeric types like:

    Positive = One | Succ Positive
    Nat = Zero | Positive
    NonZeroInt = Positive | Neg Positive
    Int = Zero | NonZeroInt
    Rational = Ratio Int Positive

etc.

Depending on the language, these could be implemented with little or no runtime overhead.