syst_floatx80_to_float64
ENTRY(syst_floatx80_to_float64)
float64 syst_floatx80_to_float64( floatx80 a )