[GiNaC-list] atan2(0,-4) = -Pi?