ord_subset. Tools for working with types where a subset of values has a total order, like e.g. floats without NaN