else if (tv == get_mode_one(mode))
return STAT_FC_1;
else if (tarval_is_finite(tv) && tarval_ieee754_zero_mantissa(tv)) {
int exp = tarval_ieee754_get_exponent(tv);
else if (tv == get_mode_one(mode))
return STAT_FC_1;
else if (tarval_is_finite(tv) && tarval_ieee754_zero_mantissa(tv)) {
int exp = tarval_ieee754_get_exponent(tv);