Add Decimal library.