> So, let's make an odd_int_less_than_20587 type and a billion of other types? Bounded integer types have been extremely useful for me on a few occassions, and

> So, let's make an odd_int_less_than_20587 type and a billion of other types? Bounded integer types have been extremely useful for me on a few occassions, and I wish more languages had type systems powerful enough to support them. They also address your concerns about subtraction.