The JIT that understands what number type you want and switches between 31 bit ints and doubles when assumptions are violated without big performance loss. Some

The JIT that understands what number type you want and switches between 31 bit ints and doubles when assumptions are violated without big performance loss. Something similar is likely possible with bigints and 64bit ints