fix integer truncation in hash_64_32 for 32-bit