*** numeric.cpp	Tue Oct 22 15:40:37 2002
--- numeric.cpp.modified	Tue Oct 22 15:44:28 2002
***************
*** 360,366 ****
  			c.s.precision(16);
  		else
  			c.s.precision(7);
! 		if (this->is_rational() && !this->is_integer()) {
  			if (compare(_num0) > 0) {
  				c.s << "(";
  				if (is_a<print_csrc_cl_N>(c))
--- 360,371 ----
  			c.s.precision(16);
  		else
  			c.s.precision(7);
! 		if (is_a<print_csrc_cl_N>(c) && this->is_integer()) {
! 			c.s << "cln::cl_I(\"";
! 			const cln::cl_R r = cln::realpart(cln::the<cln::cl_N>(value));
! 			print_real_number(c,r);
! 			c.s << "\")";
! 		} else if (this->is_rational() && !this->is_integer()) {
  			if (compare(_num0) > 0) {
  				c.s << "(";
  				if (is_a<print_csrc_cl_N>(c))
***************
*** 382,388 ****
  			c.s << ")";
  		} else {
  			if (is_a<print_csrc_cl_N>(c))
! 				c.s << "cln::cl_F(\"" << evalf() << "\")";
  			else
  				c.s << to_double();
  		}
--- 387,393 ----
  			c.s << ")";
  		} else {
  			if (is_a<print_csrc_cl_N>(c))
! 				c.s << "cln::cl_F(\"" << evalf() << "_" << Digits << "\")";
  			else
  				c.s << to_double();
  		}