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