Synopsis
float64_t __float32_to_float64(float32_t arg);
Description

__float32_to_float64 converts the 32-bit floating value arg to a 64-bit floating point value and returns the converted value as the result.