I think I’ve heard that the USA federal gov is bigger than in the past, as in controlling more of an American’s life than in its history. Is it like government revenue divided by gdp? What about minting?