float128_add
#define float128_add _softfloat_float128_add
#define float128_add _softfloat_float128_add
float128 float128_add( float128 a, float128 b )
#define float128_add __addtf3
float128 float128_add( float128 a, float128 b )