User blog comment:Cloudy176/Splitting up some categories/@comment-3427444-20160910152820

Should we call the last category "Category:Higher computable numbers" or "Category:Larger computable numbers"?