double __aeabi_ui2d(unsigned int i) { return __floatunsidf(i); }
DFtype __floatunhidf (UHItype u) { return __floatunsidf ((unsigned long)u); }