For what it's worth, here is where we stand on debt:

Deficit: $17.8B
Federal Debt: Up $15.9B to $631.9B
Net Debt: Up $20.7B to $714.5B
Gross debt: Up $37.6B to $1,097.2B

The large increase in gross debt relative to net debt or deficit is a bit odd.  Gross debt always increases by more than the other measures, but this year the difference is larger than I would expect.  We'll need to wait for other reports and numbers from the Department of Finance to understand why that is.