227
227
extern int __aeabi_dcmpge(double, double);
228
228
extern int __aeabi_dcmpgt(double, double);
229
229
extern int __aeabi_dcmplt(double, double);
230
231
extern int __aeabi_dcmpeq(double, double);
232
233
extern float __aeabi_fadd(float, float);