[GiNaC-devel] What good are evalf(level) and normal(level)?