And, if I am correct here, did the US debt just jump by nearly $100bn in a single day.

Currently at $35.34tr?