code: func (v *Value_Float) JSONRender() string {
  	ret, err := json.Marshal(v.Float)
  	if err != nil {
  		panic(err)
  	}
  	return string(ret)
  }
docs: // JSONRender returns a rendering of this float as JSON, e.g. go value 1.23
  // renders as `1.23`.