Alternatively 'uint64_t helper_todouble(uint32_t)' could be implemented via include/fpu/softfloat.h:float64 float32_to_float64(float32, float_status *status);
Alternatively 'uint64_t helper_ todouble( uint32_ t)' could be implemented via fpu/softfloat. h:float64 float32_ to_float64( float32, float_status *status);
include/