Number Crunching the Federal Debt