sum(1+2+4+8+...+2^63)