[GiNaC-list] casting