Haskell has it as well, in a very clever way in my opinion. Number literals don’t have a type themselves, they are inferred to be the correct type based on context/available type notations, etc.

There is both a 64bit integer type and an “infinite” one, and you can change the implementation by a single type notation, in a completely safe way.