Fix input_int64 for 32-bit platforms