Any reason not to extend scala.math.Ordering here?