int __float64_eq(float64_t arg0, float64_t arg1);
__float64_eq compares arg0 to arg1. __float64_eq returns zero if arg0 is different from arg1, and a non-zero value if arg0 is equal to arg1.