float64_add
#define float64_add _softfloat_float64_add
#define float64_add _softfloat_float64_add
float64 float64_add( float64 a, float64 b )
float64 float64_add( float64 a, float64 b )
#define float64_add __adddf3
float64 float64_add( float64 a, float64 b )