User blog comment:Testitemqlstudop/On mapping positive integers to ordinals/@comment-32697988-20191027094257

What is ord(n) in Rule 2?