User blog comment:P進大好きbot/Elementary Large Number/@comment-37246647-20181114081503

That is a very well defined number, but what would AC2 mean?