User blog comment:WaxPlanck/The 80th Xi Number Is Super Big/@comment-1605058-20171117074319

It sure is.