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