More info on the Numbering System coming in the Theory Library.