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