Comment by jjoonathan

Yes, and the equivalent of 175 billion dollars per year (4% of federal budget times 4.4T$/y). I'm going to go out on a limb and propose that the money may have helped, too.