User blog comment:QuasarBooster/Arithmetisation of worms!/@comment-35470197-20190920031952/@comment-35470197-20190921011237

Right, natural numbers are so powerful that it can play roles of recursive ordinals. For another expamle, a 2-adic encoding of the computation process of Wainer hierarchy (FGH along Cantor normal forms) is available here.