@NotNull
  private static String formatTo(double to) {
    double next = nextUp(to);
    if (Double.toString(next).length() < Double.toString(to).length()) {
      return "< " + next;
    }
    return "<= " + to;
  }
@NotNull
  private static String formatTo(double to)