User blog comment:Testitemqlstudop/On mapping positive integers to ordinals/@comment-43798125-20191027101113/@comment-43798125-20191027134148

Mine certainly isn't, so you're probably right