User blog comment:LittlePeng9/Encoding ordinals using binary strings/@comment-24509095-20140326145650/@comment-1605058-20140327124222

King's encoding works like a sieve. Because of this, it would be really hard to compute. But it's an ordering nevertheless.

In my codings all numbers must be coded.