Floating-point Conversion from Unsigned integer Double word
Converts a 64-bit unsigned integer stored in a double into a double-precision floating-point value.
double __fcfud(double);