float64_to_float128
#define float64_to_float128 _softfloat_float64_to_float128
#define float64_to_float128 _softfloat_float64_to_float128
float128 float64_to_float128( float64 a )
#define float64_to_float128 __extenddftf2
float128 float64_to_float128( float64 a )