How Many People Work for the IRS?

In a 2004 press release the IRS stated they have around 116,675 full time employees. The IRS has a budget of $11.1 billion to hire additional workers be it part time or full time employees.