json.writer: handle special floats.

diff --git a/basis/json/writer/writer.factor b/basis/json/writer/writer.factor
index df02e43608497c5064c2ce7a404502c51c3c0e4a..7f030fc21467b4d2d6da7682455c2649e69277ec 100644 (file)
--- a/basis/json/writer/writer.factor
+++ b/basis/json/writer/writer.factor
@@ -37,6 +37,16 @@ M: string stream-json-print
 M: integer stream-json-print
     [ number>string ] [ stream-write ] bi* ;
 
+M: float stream-json-print
+    [
+        {
+            { [ dup fp-nan? ] [ drop "NaN" ] }
+            { [ dup 1/0. = ] [ drop "Infinity" ] }
+            { [ dup -1/0. = ] [ drop "-Infinity" ] }
+            [ number>string ]
+        } cond
+    ] dip stream-write ;
+
 M: real stream-json-print
     [ >float number>string ] [ stream-write ] bi* ;