A reminder for everyone writing about the debt ceiling games: We don't reach the debt ceiling on August 2nd. We reached it two months ago, on May 16th. Treasury has been playing games ever since ("borrowing" from pension funds, suspending securities that help states manage their finances, etc. etc.).
August 2nd is merely the date when the games run out and we actually stop paying some bills. But just for the record, Congress blew through the debt ceiling long ago and has been mucking around ever since.