1-(1-1/(2^128))^(2^128)