User blog comment:P進大好きbot/Elementary Large Number/@comment-30754445-20181118000005/@comment-35470197-20181118082515

Now I updated the definitions and the explanation.