--- a/src/pr-output.cc	Fri Mar 17 02:31:58 2000 +0000
+++ b/src/pr-output.cc	Fri Mar 17 09:44:30 2000 +0000
@@ -247,7 +247,7 @@
 // functions,..
 
 static void
-set_real_format (bool sign, int digits, bool inf_or_nan, bool nan_or_int,
+set_real_format (bool sign, int digits, bool inf_or_nan, bool int_only,
 		 int &fw)
 {
   static float_format fmt;
@@ -274,7 +274,7 @@
       fw = 8 * sizeof (double);
       rd = 0;
     }
-  else if (nan_or_int)
+  else if (inf_or_nan || int_only)
     {
       fw = digits;
       if (inf_or_nan && fw < 3)
@@ -320,6 +320,8 @@
       if (print_big_e)
 	fmt.uppercase ();
     }
+  else if (inf_or_nan || int_only)
+    fmt = float_format (fw, rd);
   else
     fmt = float_format (fw, rd, std::ios::fixed);
 
@@ -339,14 +341,14 @@
 
   bool inf_or_nan = (xisinf (d) || xisnan (d));
 
-  bool nan_or_int = (xisnan (d) || D_NINT (d) == d);
+  bool int_only = (! inf_or_nan && D_NINT (d) == d);
 
   double d_abs = d < 0.0 ? -d : d;
 
   int digits = (inf_or_nan || d_abs == 0.0)
     ? 0 : static_cast<int> (floor (log10 (d_abs) + 1.0));
 
-  set_real_format (sign, digits, inf_or_nan, nan_or_int, fw);
+  set_real_format (sign, digits, inf_or_nan, int_only, fw);
 }
 
 static inline void
@@ -459,6 +461,8 @@
       if (print_big_e)
 	fmt.uppercase ();
     }
+  else if (int_or_inf_or_nan)
+    fmt = float_format (fw, rd);
   else
     fmt = float_format (fw, rd, std::ios::fixed);
 
@@ -606,6 +610,11 @@
 	  i_fmt.uppercase ();
 	}
     }
+  else if (inf_or_nan || int_only)
+    {
+      r_fmt = float_format (r_fw, rd);
+      i_fmt = float_format (i_fw, rd);
+    }
   else
     {
       r_fmt = float_format (r_fw, rd, std::ios::fixed);
@@ -779,6 +788,11 @@
 	  i_fmt.uppercase ();
 	}
     }
+  else if (int_or_inf_or_nan)
+    {
+      r_fmt = float_format (r_fw, rd);
+      i_fmt = float_format (i_fw, rd);
+    }
   else
     {
       r_fmt = float_format (r_fw, rd, std::ios::fixed);
@@ -932,6 +946,8 @@
       if (print_big_e)
 	fmt.uppercase ();
     }
+  else if (all_ints)
+    fmt = float_format (fw, rd);
   else
     fmt = float_format (fw, rd, std::ios::fixed);