User blog comment:MilkyWay90/Math number/@comment-35392788-20180902214346/@comment-31966679-20180906002951

A computable large number, then an uncomputable large number.