User blog comment:P進大好きbot/What does a computable large number mean?/@comment-4224897-20180610135217/@comment-35470197-20180613214504

Uh huh. I see.