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