User blog comment:MilkyWay90/Trying to create my own ordinal notation/@comment-25601061-20180702120011/@comment-31966679-20180702160850

But doesn't it return the supremum (largest number) of all ordinals? And shouldn't it have a limit?

Meanwhile, I'll try editing it.