* arith.c (int_flo): If sprintf produces something

that doesn't begin with a digit, it's most likely NaN or Inf.
We can turn that into an exception.

* stream.c (vformat): If sprintf produces a non-number,
turn it into the printed representation #<bad-float>.

1 files changed, 14 insertions, 0 deletions

diff --git a/stream.c b/stream.c
index 6110e1d6..6761afd8 100644
--- a/stream.c
+++ b/stream.c
@@ -32,6 +32,7 @@
 #include <assert.h>
 #include <setjmp.h>
 #include <errno.h>
+#include <ctype.h>
 #include <wchar.h>
 #include <unistd.h>
 #include "config.h"
@@ -1147,6 +1148,12 @@ val vformat(val stream, val fmtstr, va_list vl)
               sprintf(num_buf, "%.*e", precision, n);
             else
               sprintf(num_buf, "%.*f", precision, n);
+            if (!isdigit(num_buf[0])) {
+              if (!vformat_str(stream, lit("#<bad-float>"),
+                               width, left, precision))
+                return nil;
+              continue;
+            }
             precision = 0;
             goto output_num;
           }
@@ -1170,6 +1177,13 @@ val vformat(val stream, val fmtstr, va_list vl)
           case FLNUM:
             sprintf(num_buf, "%g", obj->fl.n);
 
+            if (!isdigit(num_buf[0])) {
+              if (!vformat_str(stream, lit("#<bad-float>"),
+                               width, left, precision))
+                return nil;
+              continue;
+            }
+
             if (!precision) {
               if (!strpbrk(num_buf, "e."))
                 strcat(num_buf, ".0");