zlacker

>>tromp+(OP)
It all depends on what values you're willing to leave unrepresentable.

(Bearing in mind that the set of operations that you can accurately support in your number system also depends on the set of representable values.)

If you don't really care you can go arbitrarily high.

>>yarg+Uq1
Yeah, just define a 1-bit type of the values {0, MAX}, for some very large number MAX. And now we‘ve represented a very large number with a 1-bit value!