(1 - 1/2**26) ** (2**38)