number_types (pypi): Various number types for Python
Keywords: types