User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-35470197-20190503030236/@comment-25337554-20190503081655

>Then are you going to define standard forms in order to have NIECF to become an ordinal notation system?

It's not supposed.

>Although it is not a problem, I note that the right hand side is always -1.

It's supposed.