float64_to_floatx80
rFn = float64_to_floatx80(fpa11->fpreg[Fn].fDouble);
rFm = float64_to_floatx80(fpa11->fpreg[Fm].fDouble);
rFd->fExtended = float64_to_floatx80(rFd->fDouble);
val.f = float64_to_floatx80(fpa11->fpreg[Fn].fDouble);
rFn = float64_to_floatx80(fpa11->fpreg[Fn].fDouble);
rFm = float64_to_floatx80(fpa11->fpreg[Fm].fDouble);
floatx80 float64_to_floatx80( float64 );