Does anyone know what tax revenues were in the US last year or 2022? Google says 4.9 trillion but that can’t be right. I just want to know how much taxpayers paid.