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