Reinterpret the bits in the 64-bit signed integer value x as a double-precision floating point value.
x