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

I assume you also remember ord

(And the [other half https://conwaylife.com/forums/viewtopic.php?f=12&t=2992&start=200#p77522] of its formal definition which looks really crazy)