(US debt)/(US GDP)