float128_mul
#define float128_mul _softfloat_float128_mul
#define float128_mul _softfloat_float128_mul
float128 float128_mul( float128 a, float128 b )
#define float128_mul __multf3
float128 float128_mul( float128 a, float128 b )