sqrt(2*(2^128)*ln(1/(1-2^-64)))