| The number, which has not been previously reported, accounts for workers at dozens of agencies who took offers from the government as of June to get paid through Sept. 30 — the end of the fiscal year — or the end of 2025. | 
