__floatdidf
__strong_alias(__aeabi_l2d, __floatdidf);
double __floatdidf(quad_t) __dso_protected;
#define int64_to_float64 __floatdidf
__strong_alias(__aeabi_l2d, __floatdidf);
double __floatdidf(quad_t);