User blog comment:Nichdel/CFJ: On Numbers/@comment-3401115-20140103171700/@comment-162.224.125.43-20140104040617

Well since rule numbers also serves as a unique identification system, I wanted to make sure we saw it primarily as numbers rather than unique symbols. If it was the latter, they could be prefix codes or [huffman codes] where 01 and 1 are different numbers.