AlgebraicKernel beacause Root_of_2<Interval_nt_advanced> is Interval_nt_advanced and we cannot use the conjugate()