Synopsis
float64_t __int64_to_float64(int64_t arg);
Description

__int64_to_float64 converts the 64-bit signed integer arg to a 64-bit floating value, rounding if required, and returns the appropriately rounded value as the result.