float64_mul
#define float64_mul _softfloat_float64_mul
#define float64_mul _softfloat_float64_mul
float64 float64_mul( float64 a, float64 b )
float64 float64_mul( float64 a, float64 b )
#define float64_mul __muldf3
float64 float64_mul( float64 a, float64 b )