For what it's worth, Haskell's Integer type is that way. edit To be clear, in Haskell you 'default' to using its arbitrary-precision type, unlike say Java wher

For what it's worth, Haskell's Integer type is that way. edit To be clear, in Haskell you 'default' to using its arbitrary-precision type, unlike say Java where they're available in the standard library but not in the core primitive types.