Comment by robertlagrant

What we need is a numeric type that cannot be zero.