deka-0.4.0.0: Decimal floating point arithmetic