Cost of debt ceiling fight: $1.3 billion