__floatdisf
__strong_alias(__aeabi_l2f, __floatdisf);
float __floatdisf(quad_t) __dso_protected;
#define int64_to_float32 __floatdisf
__strong_alias(__aeabi_l2f, __floatdisf);
float __floatdisf(quad_t);