(2^64 - 1 - 8594775) * 2^-20 * 10^-12