plus another 130 billion in pension debt but yes its humorous.
I guess it is only some zeros. Reminds me of the financial crisis during the Lehman failure. The Dept. of Treasury was literally bailing out banks by telling them to add one more zero to their books. This was via phone mind you. True story.