Changed rounding behavior in mul_util.