[Python-ideas] Total_order