[falcolas]

Well, including the armed forces, state, and local employees, there's around 24 million federal employees. So, if even 1% were laid off, that'd be over 200,000.

So yeah, I'd definitely go with the "probably more".