1/2^80