Import Base.isless
Some documentation.