User blog comment:P進大好きbot/FGH along my OCF with weakly 1-Mahlo/@comment-39128220-20190519101311/@comment-35470197-20190519113758

好. 我也定義了巨大数.