Decimal_floating-point_arithmetic loading ...