uint64ToFloat64 function

double uint64ToFloat64(
  1. int d
)

Binary conversion of a uint64 to an float64. This is equivalent in C to typecasting an unsigned long long to double.

Implementation

double uint64ToFloat64(int d) {
  __uint64[0] = d;
  return __uint64ToFloat64[0];
}