Mass shutdown layoffs? How many federal workers Florida has

If the looming government shutdown happens, Florida may bear some of the brunt. The White House has called for possible mass firings.