pypi/encode-numeric