just for info this could also be written

known := {MATH_CONST}.Pi^2 / 6

I agree this does not look as nice, but it avoid inheriting from MATH_CONST
But for Rosetta's code, your code is nicer.