Now we know how much Oracle shrank its staff in the past year — and how much it cost

Oracle carried out layoffs in March. A new filing shows how much smaller the workforce is compared to this time last year.