float128_div
#define float128_div _softfloat_float128_div
#define float128_div _softfloat_float128_div
float128 float128_div( float128 a, float128 b )
#define float128_div __divtf3
float128 float128_div( float128 a, float128 b )