float64_to_float128
float128 float64_to_float128( float64 a )
#define float64_to_float128 __extenddftf2