code: func (v *Value_Uint) JSONRender() string {
  	num := strconv.FormatUint(v.Uint, 10)
  	if v.Uint < (1 << 53) {
  		return num
  	}
  	return fmt.Sprintf(`"%s"`, num)
  }
docs: // JSONRender returns a rendering of this uint as JSON, e.g. go value 100
  // renders as `"100"`.
  //
  // Unsigns render as strings to avoid encoding issues in JSON, which only
  // supports double-precision floating point numbers.