Allow some monotonicity (because of rounding)