If the exponents are the same, and denormal, we just return the sum of the significands, they overflow into the exponent field. If they are not denormal, the we return the exponent and the unrounded sum.