__aeabi_dcmplt
int __aeabi_dcmplt(float64, float64);
int __aeabi_dcmplt(double, double) __aapcs; // result (1, 0) denotes (<, >=) [2], use for C <