As someone from time to time peeking into googology.fandom.com , my favorite big number device probably still is loader.c, simply because of how concrete and unreachable it feels.

Too bad most Friedman's work has linkrotted by now...