Decimal_floating_point loading ...