Fix floating point multiplication bug

If the significand overflows after rounding, need to adjust
exponent.