| ClassNumber[class] returns the value of $ClassNumber during the definition of class. Every new class gets a new value for ClassNumber[class], while a redefinition of class does not change ClassNumber[class]. |
| ClassNumber[] returns a list of all registered numbers. |