IBM seems to be shedding about 5,000 staff -- a small number by its standards -- but it isn't trumpeting the numbers.