1 - e^(-(2^64)^2 / (2 * 2^1))