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