Convert the unsigned 64-bit integer value x to a double-precision floating point value in round-to-nearest-even mode.
x