int _COM_CMPEQd (double a, double b) { return __eqdf2 (a, b) == 0; }
int __nedf2(double a, double b)
{
/* strange behavior, but it was in gcc documentation */
return __eqdf2(a, b);
}
int __nedf2(float64_t a, float64_t b)
{
/* Strange, but according to GCC documentation */
return __eqdf2(a, b);
}
int __aeabi_dcmpeq(double a, double b)
{
return __eqdf2(a, b);
}
