MANT_DIG
if((ha-hb)>DESW(MANT_DIG+7)) {return a+b;} /* x/y > 2**(MANT_DIG+7) */
if (kx - ky > MANT_DIG || ay == 0)
if (ky < (MIN_EXP - 1) / 2 + MANT_DIG)
if (kx - ky > MANT_DIG || hay == 0)
if (ky < (MIN_EXP - 1) / 2 + MANT_DIG)
if (ky < (MIN_EXP - 1) / 2 + MANT_DIG)
if (kx - ky > MANT_DIG || ay == 0)