If the exponents are different on the other hand, we need to shift b to the right by the difference in exponent. If b is denormal, shift one less, since it doesn't have the implicit one.