1/(1-(((2^32)-1)/2^32)^((64*63)/2))