At any given time, more than 100 agents guard the president in the White House.
At any moment, there are over 100 people guarding the president.
The agency must file its account of the matter with the GAO.