aeabi_double_t __aeabi_l2d(int64_t i)
int_fast64_t f64_to_i64_r_minMag(float64_t, bool)
unsigned long long uint64_t
aeabi_double_t __aeabi_ul2d(uint64_t i)
int64_t __aeabi_d2lz(aeabi_double_t x)
aeabi_float_t __aeabi_l2f(int64_t i)
int64_t __aeabi_f2lz(aeabi_float_t x)
float32_t i64_to_f32(int64_t)
float64_t i64_to_f64(int64_t)
unsigned long long aeabi_double_t
int_fast64_t f32_to_i64_r_minMag(float32_t, bool)
float64_t ui64_to_f64(uint64_t)