floatx80_to_float64
rFd->fDouble = floatx80_to_float64(&roundData, rFd->fExtended);
val.f = floatx80_to_float64(roundData, fpa11->fpreg[Fn].fExtended);
float64 floatx80_to_float64( struct roundingData *, floatx80 );