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