float64_eq
flag float64_eq( float64 a, float64 b )
#define float64_eq __eqdf2
#define float64_eq __softfloat_float64_eq