Marco Leise:
If you need this functionality use a programming language that has type classes and seamlessly switches between int/BigInt types, but drops the systems language attribute.
I think Lisp (that beside allowing you to use fixnums that can't grow, often is used with tagged integers, that switch to multi-precision when the number grows) was used as system language too (Symbolics?)
Bye, bearophile
