Add 2^72 in 2^x