float32_to_float128
float128 float32_to_float128( float32 a )
#define float32_to_float128 __extendsftf2