EXT_EXP_INFNAN
exp = EXT_EXP_INFNAN;
sign |= EXT_EXP(EXT_EXP_INFNAN);
if (exp >= EXT_EXP_INFNAN) {
return (sign | EXT_EXP(EXT_EXP_INFNAN) | 0);
return (sign | EXT_EXP(EXT_EXP_INFNAN - 1) | EXT_MASK);