Depends on D80612.
// If x is infinity, NaN or zero, return it.
Is this necessary?
After line 250, we want exponent to be less than mantissa width, but greater than 0. So, we handle these two special cases of -1 and -2 separately.
Actually, exponent is greater than or equal to zero and less than mantissa width after line 250.