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