Oh, I forgot about the `__cmp__` nonsense. So this would have to be very extensive to be completely correct. We don't want to be technical here anyway, so I'd say that we should just say something generic and untechnical, and maybe point to a reference if the reader wants to know more (or write a technical footnote, if you care to). 