[GiNaC-devel] Bugfix for numerical integration.