log2(10^80)