Synopsis
float32_t __float64_to_float32(float64_t arg);
Description

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