I was not ready for math to be involved, but if slow renewal and grant awards are $8.6B, and there was $2.4B cut in research management, another $5.18B in intramural, and another $3.91B in R&D contracts, that adds to $20.09B.

Although I am somewhat irked by the inconsistency in significant digits.