That's a lot of jobs, even accounting for the fact that companies of that size often announce X number of positions eliminated to make investors happy but a lot of attrition ends up being "internal displacements" and accelerated retirements with chunky severance packages. Nearly 10% of a total workforce is nothing to sneeze at.