int __float64_lt(float64_t arg0, float64_t arg1);
__float64_lt compares arg0 to arg1. __float64_lt returns a non-zero value if arg0 is less than arg1, and zero if arg0 is equal to or greater than arg1.