extflonums

An extflonum is like a flonum, but with 80-bit precision and
not a number in the sense of `number?': only operations such as
`extfl+' work on extflonums, and only on platforms where extflonums
can be implemented by hardware without interefering with flonums
(i.e., on platforms where SSE instructions are used for
double-precision floats).

[Patch provided by Michael Filonenko and revised by Matthew.]

The compiler tracks information about bindings that are known to
hold extflonums, but the JIT does not yet exploit this information
to unbox them (except as intermediate results).

original commit: 17b8092641b245caf77bfb6ac29b525995a7bfea

collects/scribble/racket.rkt

@@ -5,6 +5,7 @@
            "private/manual-sprop.rkt"
            "private/on-demand.rkt"
            file/convertible
+           racket/extflonum
            (for-syntax racket/base))
   
   (provide define-code
@@ -262,7 +263,8 @@
                              (char? v)
                              (regexp? v)
                              (byte-regexp? v)
-                             (boolean? v)))
+                             (boolean? v)
+                             (extflonum? v)))
                        value-color]
                       [(identifier? c) 
                        (cond