If math were a color, it would be...

[tame_deuces]

It is probably good. Too much heavy emphasis on formalized math could potentially remove much of the intuitivity of it, creating a barrier between the paper math and everyday situations.

I think it is important that they don't lose grip completely though, because the same is obviously true the other way around and we do need formalized math also.

Ultimately I think it is gold if they manage to bridge the gap between everyday applications of math and formalized math, math is a wonderful way of logic usable in most of life's situations and I think we'd all be better off if it was more common to apply it.