Synopsis
float64_t __uint32_to_float64(uint32_t arg);
Description

__uint32_to_float64 converts the 32-bit unsigned integer arg to a 64-bit floating value and returns the floating value as the result. As all 32-bit unsigned integers can be represented exactly in 64-bit floating point format, rounding is never necessary.