[GiNaC-devel] Two previous patches