Function Double

native/thirdpart/flatbuffers/flexbuffers.h:965–965

  }

  void Double(double f) { stack_.push_back(Value(f)); }
  void Double(const char *key, double d) {
    Key(key);
    Double(d);