changeset 575:6ed31b2e297a

[project @ 1994-08-01 02:17:05 by jwe]
author jwe
date Mon, 01 Aug 1994 02:17:05 +0000
parents a10f1c8ab10f
children 33d622a12de8
files src/pr-output.cc
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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;