On: Who Can Name the Bigger Number?

[Veedrac]

I looked it up and this page showed up: http://web.mit.edu/nelhage/Public/big-number.txt. Pretty interesting.