Keith Hennessey floats a CBO-based number.

Not-so-cheery August afternoon news.