float32_to_float128
#define float32_to_float128 _softfloat_float32_to_float128
#define float32_to_float128 _softfloat_float32_to_float128
float128 float32_to_float128( float32 a )
#define float32_to_float128 __extendsftf2
float128 float32_to_float128( float32 a )