@NotNull
  private static String formatFrom(float from) {
    float prev = nextDown(from);
    if (Float.toString(prev).length() < Float.toString(from).length()) {
      return "> " + prev;
    }
    return ">= " + from;
  }
@NotNull
  private static String formatFrom(float from)