Interpreter: apply the same odd rounding to single multiplies as the JIT