User blog comment:TheGoogologist/Hunt for the Largest Number: Part 1/@comment-35470197-20190308124852/@comment-35870936-20190308164716

FOOT is ill defined? I thought it was fine...