Interval Arithmetic in GiNaC