Don't forget there are also hundreds of thousands of external people. Bodies bought from different vendors, doing pretty much the same job as internals but with lower pay and almost no benefits.
They've been cut a lot last year, but no news about it.
Also there are cuts in high cost of living locations. Why to keep people in California if you can hire in Warsaw and pay x0.25 of US rate there?