1 - exp(-(2^16)^2 / (2 * 2^128))