[gruez]

> but because that number is too round, too perfect

Because it's an external estimate. From the article:

"That number has been guesstimated at around ten percent of the workforce – about 12,500 people – as part of an effort to get the overall workforce from 120,000 to below 100,000."

>while not even linking it to specific division within

there's no indication that they decided to cut 10% (or whatever) evenly across all divisions. The only thing we do know is that the overall reduction is 10%.