Yup, I suppose that it's closer to the hundreds-of-millions range for the undergrad curriculum only, in a single system - maybe even a bit less than that. But

Yup, I suppose that it's closer to the hundreds-of-millions range for the undergrad curriculum only, in a single system - maybe even a bit less than that. But that then leaves open the question of how to go the rest of the way to the actual research frontier in whatever domains of math you care about, plus the inherent uncertainty as to whether these efforts will in fact be useful, since these systems are in such an early state. You're right though that the way I phrased that was a bit confusing, so thanks!