For comparison, the NSF budget is about $8 billion. DOE Office of Science is about the same. NIH is $45 billion
(Also, compare that with the profit of large tech companies)