Fix issues related to MUL in 64-bit