Python library for arbitrary-precision floating-point arithmetic