So... it isn't ALL federal, it's just 99.99% federal. Gotcha. Meanwhile the US federal education budget is just 10% of the total spending on education in the US

So... it isn't ALL federal, it's just 99.99% federal. Gotcha. Meanwhile the US federal education budget is just 10% of the total spending on education in the US. I'm going to say that the former is a rounding error, and the latter is massively significant.