Or for the audience here, 2^(9^12) is a number that takes roughly 100 gigabytes to store.

Edit: oh wait, 2^(9^12) is the number of bits. So we are actually talking about numbers of the size 2^(2^(9^12)).

“Too big to be practical” is a serious understatement here.