(CNSNews.com) - The Internal Revenue Service had in its weapons inventory 4,487 guns and 5,062,006 rounds of ammunition as of late 2017, according to a report published this month by the Government Accountability Office.

Included in this arsenal, according to the GAO, were 15 "fully automatic firearms" and 56,000 rounds of ammunition for those fully automatic firearms.

The same report--"Federal Law Enforcement: Purchases and Inventory Controls of Firearms, Ammuntion, and Tactical Equipment"--says that the Office of the Inspector General of the Department of Health and Human Services had 194 fully automatic firearms and 386,952 rounds of ammunition for those fully automatic firearms.

"The term 'fully automatic' used in this report," says a footnote in the report, "encompasses a range of firearms classified as machine guns, including submachine guns, three round burst guns, and guns with a selector switch that can enable continuous fire."