Updating typecaster to handle 64-bit ints