float64_div
#define float64_div _softfloat_float64_div
#define float64_div _softfloat_float64_div
float64 float64_div( float64 a, float64 b )
float64 float64_div( float64 a, float64 b )
#define float64_div __divdf3
float64 float64_div( float64 a, float64 b )