Certain agencies are prohibited from having a union, like DOJ or the FBI. However, others like the FDIC and the treasury (which includes the IRS) have significant union membership and are virtually under their control. That 25% is much worse when you factor out the employees at the prohibited agencies.
Then that number probably climbs 40-45%.