fpu_ftoi
space[0] = fpu_ftoi(fe, fp);
static uint32_t fpu_ftoi(struct fpemu *fe, struct fpn *fp);
*lo = fpu_ftoi(fe, fp, &cx, rn);
static u_int fpu_ftoi(struct fpemu *, struct fpn *, int *, int);
u_int fpu_ftoi(struct fpemu *, struct fpn *);
space[0] = fpu_ftoi(fe, fp);