[GiNaC-devel] Numerical integration in GiNaC