This is what happens when we let machine constraints trump semantics. When you say int, you usually want an actual integer, not an integer with an arbitrary limit. In this day and age, having that limit there is simply premature optimization. I think having a nice bignum type--one that looks and feels just like a normal numeric type--is very important. It should also probably be the default ; you should only switch t…
You say this with certainty. Do you know of studies of real-world programs where machine-sized integers were replaced whole-sale with bignums?