docs: public JsonWriter value(double value) {
          startValue();
  
          final long i = (long) value;
          if (value == (double) i) {
              writer.print(i);
          } else {
              writer.print(value);
          }
          return this;
      }