Synopsis
int __float64_lt(float64_t arg0,
                 float64_t arg1);
Description

__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.