Fix overflow checking after multiplication in 64-bit mode