__fpu_ftod
u_int __fpu_ftod(struct fpemu *, struct fpn *, u_int *);
space[0] = __fpu_ftod(fe, fp, space);