fix integer conversion operations for 64 bit