restore former behavior of isless as a total order