~$52B in semiconductor manufacturing and research subsidies, plus NSF/NIST/DOE science authorizations.