FTYPE_INT
type = FTYPE_INT | FTYPE_FPSCR;
fpu_explode(fe, &fe->fe_f1, FTYPE_INT, 1);
fpu_explode(fe, &fe->fe_f1, FTYPE_INT, 1);
case FTYPE_INT:
case FTYPE_INT:
type = FTYPE_INT;
((type == FTYPE_INT) ? 'i' :
case FTYPE_INT:
((type == FTYPE_INT) ? 'i' :
if (type == FTYPE_INT) printf("%d ", s);
case FTYPE_INT: