216,000 fired federal workers is a good start — Barely 7 percent of government employees.