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