code: func (v *Value_Int) JSONRender() string {
  	num := strconv.FormatInt(v.Int, 10)
  	abs := v.Int
  	if abs < 0 {
  		abs = -abs
  	}
  	if abs < (1 << 53) {
  		return num
  	}
  	return fmt.Sprintf(`"%s"`, num)
  }
docs: // JSONRender returns a rendering of this int as JSON, e.g. go value 100
  // renders as `100`. If the absolute value is > 2**53, this will render it as
  // a string.
  //
  // Integers render as strings to avoid encoding issues in JSON, which only
  // supports double-precision floating point numbers.