Furlough, which begins 8 October, furloughs roughly 34,000 people and leaves only 39,870, or 53.6%via: https://www.theguardian.com/us-news/2025/oct/08/government-shutdown-irs-workers