Fix MUL in 64 bit -- should not corrupt RHS value