1/2^64