code: func (x Pol) MarshalJSON() ([]byte, error) {
  	buf := strconv.AppendUint([]byte{'"'}, uint64(x), 16)
  	buf = append(buf, '"')
  	return buf, nil
  }
docs: // MarshalJSON returns the JSON representation of the Pol.