That's only if UK's debt is in pounds and without provisions for currency fluctuations.