If the dollar is devalued against gold backing at $20,000 per ounce, and the US holds 261 million ounces, this would raise $5.22 trillion into the Treasury General Account (based on Mark Groman's calculation), providing funds to pay down debt to manageable levels