Fixing a bug in IntRealSolutionImpl and NumericalSolutionImpl