We could maybe assume that the ordering is well defined between the instances of a PMC class. But cmp needs to compare instances of different PMC classes as well, for which a well defined ordering is less probable.
I would not be surprised if in some dynamic language all of a==b, a<b and a>b evaluate to false if a and b are of different types. -- Mehmet