Not sure how many exactly, but this was not a small round, I can tell you that. Part of it were outright layoffs and part were early retirements (those folks got lucky.)
It'd be good to know if it is over or if we can expect even more today? Usually it's done in one day, but it would be nice to know for sure that we can relax for now.