An average of 2.5% per year for 10 years. It would be like spending $575B per year now on a percentage of GDP basis.
You can do a lot of things with that money. Now we're talking about missions doing it for a once off $100M. So yes, massive progress has been made.