This is not "default" in the usual sense because the debt is honored, albeit with currency of lesser real value.
لا يعتبر "عجز" بالمعنى المعتاد لأن الدين is honored، وإن كان ذلك مع العملة ذات القيمة الحقيقية الأقل.