[GiNaC-list] Problem: Floating point overflow