docs: public JsonWriter key(double key) {
          startKey();
  
          writer.write('\"');
          final long i = (long) key;
          if (key == (double) i) {
              writer.print(i);
          } else {
              writer.print(key);
          }
          writer.write('\"');
          writer.write(':');
          return this;
      }