float32_to_floatx80
rFn = float32_to_floatx80(fpa11->fpreg[Fn].fSingle);
rFm = float32_to_floatx80(fpa11->fpreg[Fm].fSingle);
rFd->fExtended = float32_to_floatx80(rFd->fSingle);
val.f = float32_to_floatx80(fpa11->fpreg[Fn].fSingle);
rFn = float32_to_floatx80(fpa11->fpreg[Fn].fSingle);
rFm = float32_to_floatx80(fpa11->fpreg[Fm].fSingle);
floatx80 float32_to_floatx80( float32 );