(UK debt)/(UK GDP)