Arbitrary-precision decimal floating-point number library
