Fix floating point to integer conversion for 64-bit.