User blog comment:Acamaeda/A new largest number, maybe?/@comment-25601061-20170929223822

I think the definition is fine