# HG changeset patch
# User jwe
# Date 775707425 0
# Node ID 6ed31b2e297a6be90bfb09936149fc1b564ad1cc
# Parent  a10f1c8ab10f9248d4cbef9985ab3d4ba56f3fff
[project @ 1994-08-01 02:17:05 by jwe]

diff -r a10f1c8ab10f -r 6ed31b2e297a src/pr-output.cc
--- a/src/pr-output.cc	Fri Jul 29 18:29:31 1994 +0000
+++ b/src/pr-output.cc	Mon Aug 01 02:17:05 1994 +0000
@@ -199,7 +199,8 @@
 
   double d_abs = d < 0.0 ? -d : d;
 
-  int digits = d_abs == 0.0 ? 0 : (int) floor (log10 (d_abs) + 1.0);
+  int digits = (inf_or_nan || d_abs == 0.0) ? 0
+    : (int) floor (log10 (d_abs) + 1.0);
 
   int prec = user_pref.output_precision;