User blog comment:Emlightened/Little Bigeddon/@comment-1605058-20170106113726/@comment-27513631-20170106121014

The first two are typos and the third is the intended meaning. Can't edit now; on phone.

Also, I think I can use BIG FOOT to make a much larger number, but I'll need to check some things first.