While the rest of America was holding an election last week, the gnomes at the Congressional Budget Office released the final budget totals for fiscal 2012. They're worth reporting because they illuminate the real fiscal choices that confront the country, as opposed to the posturing you'll be hearing over the next few weeks.

The nearby table lays out the ugly details. The feds rolled up another $1.1 trillion deficit for the year that ended September 30, which was the biggest deficit since World War II, except for each of the previous three years.