common-lisp/sbcl.sbcl
1
0
Fork 0
mirror of git://git.code.sf.net/p/sbcl/sbcl synced 2026-09-10 07:26:40 -04:00
Code Issues Actions 8 Packages Projects Releases Wiki Activity

Fix #-sb-unicode

Browse source
This commit is contained in:
Douglas Katzman 2024-01-15 12:54:00 -05:00
parent cd6033c7ca
commit 1d4f0f3f32
2 changed files with 216 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
src/code/warm-target-unicode.lisp
View file

@ -55,10 +55,13 @@
;;; 100.00% CPU
(defmacro look-in-numeric-value-map (x)
(let* ((pairs
(remove-if (lambda (x) (>= (car x) char-code-limit))
(read-from-file "output/ucd/numerics.lisp-expr")))
(mapped-chars (coerce (mapcar 'car pairs) '(array (unsigned-byte 32) (*))))
(let ((pairs
(remove-if (lambda (x) (>= (car x) char-code-limit))
(read-from-file "output/ucd/numerics.lisp-expr"))))
#-sb-unicode `(cdr (assoc (char-code ,x) ',pairs)) ; exactly 3 pairs
#+sb-unicode
(let*
((mapped-chars (coerce (mapcar 'car pairs) '(array (unsigned-byte 32) (*))))
(lexpr (sb-impl:make-perfect-hash-lambda mapped-chars))
;; We need the lexpr at compile-time to build the key/value arrays
;; and run-time of course, where the expression is stuffed in as
@ -80,7 +83,7 @@
;; generator can screw with the calculation, causing it to return a value
;; outside the expected range. So bounds check it and then confirm a hit.
(when (and (< hash ,n) (char= (char ,key-array hash) ,x))
(aref ,value-array hash)))))
(aref ,value-array hash))))))
(export 'numeric-value) ; was not exported because not defined
(defun numeric-value (character)

208
xfloat-math.lisp-expr
View file

@ -1204,10 +1204,12 @@
(< (#.(S #x41200000) #.(S #x41200000)) NIL)
(< (#.(S #x41200000) #.(S #x41700000)) T)
(< (#.(S #x41200000) #.(S #x42100000)) T)
(< (#.(S #x41200000) #.(S #x43280000)) T)
(< (#.(S #x41200000) #.(S #x44C50000)) T)
(< (#.(S #x41200000) #.(S #x4987FD40)) T)
(< (#.(S #x41200000) #.(S #x4987FD78)) T)
(< (#.(S #x41200000) #.(S #x4987FE40)) T)
(< (#.(S #x41300000) #.(S #x41200000)) NIL)
(< (#.(S #x41700000) #.(S 0)) NIL)
(< (#.(S #x41700000) #.(S #x41000000)) NIL)
(< (#.(S #x41700000) #.(S #x41700000)) NIL)
@ -1250,6 +1252,7 @@
(< (#.(S #x42080000) #.(S #x43170000)) T)
(< (#.(S #x42080000) #.(S #x431A0000)) T)
(< (#.(S #x420C0000) #.(S #x420C0000)) NIL)
(< (#.(S #x420C0000) #.(S #x431A0000)) T)
(< (#.(S #x420C0000) #.(S #x431D0000)) T)
(< (#.(S #x42100000) #.(S #x40000000)) NIL)
(< (#.(S #x42100000) #.(S #x42100000)) NIL)
@ -1281,15 +1284,24 @@
(< (#.(S #x43190000) #.(S #x42040000)) NIL)
(< (#.(S #x43190000) #.(S #x43190000)) NIL)
(< (#.(S #x431A0000) #.(S #x42080000)) NIL)
(< (#.(S #x431A0000) #.(S #x420C0000)) NIL)
(< (#.(S #x431A0000) #.(S #x431A0000)) NIL)
(< (#.(S #x431D0000) #.(S #x420C0000)) NIL)
(< (#.(S #x431D0000) #.(S #x431D0000)) NIL)
(< (#.(S #x43210000) #.(S #x43550000)) T)
(< (#.(S #x433F0000) #.(S #x430F0000)) NIL)
(< (#.(S #x433F0000) #.(S #x431F0000)) NIL)
(< (#.(S #x433F0000) #.(S #x433F0000)) NIL)
(< (#.(S #x433F0000) #.(S #x43570000)) T)
(< (#.(S #x434F0000) #.(S #x41200000)) NIL)
(< (#.(S #x43570000) #.(S #x435F0000)) T)
(< (#.(S #x435F0000) #.(S #x43770000)) T)
(< (#.(S #x43770000) #.(S #x437F0000)) T)
(< (#.(S #x437F0000) #.(S 0)) NIL)
(< (#.(S #x437F0000) #.(S #x437F0000)) NIL)
(< (#.(S #x43800000) #.(S #x43800000)) NIL)
(< (#.(S #x43CF8000) #.(S #x43E68000)) T)
(< (#.(S #x43E78000) #.(S #x43EE8000)) T)
(< (#.(S #x447FC000) #.(S 0)) NIL)
(< (#.(S #x447FC000) #.(S #x447FC000)) NIL)
(< (#.(S #x44C60000) #.(S #x41200000)) NIL)
@ -1936,10 +1948,12 @@
(< (#.(D #x40240000 0) #.(D #x40240000 0)) NIL)
(< (#.(D #x40240000 0) #.(D #x402E0000 0)) T)
(< (#.(D #x40240000 0) #.(D #x40420000 0)) T)
(< (#.(D #x40240000 0) #.(D #x40650000 0)) T)
(< (#.(D #x40240000 0) #.(D #x4098A000 0)) T)
(< (#.(D #x40240000 0) #.(D #x4130FFA8 0)) T)
(< (#.(D #x40240000 0) #.(D #x4130FFAF 0)) T)
(< (#.(D #x40240000 0) #.(D #x4130FFC8 0)) T)
(< (#.(D #x40260000 0) #.(D #x40240000 0)) NIL)
(< (#.(D #x402E0000 0) #.(D 0 0)) NIL)
(< (#.(D #x402E0000 0) #.(D #x40200000 0)) NIL)
(< (#.(D #x402E0000 0) #.(D #x402E0000 0)) NIL)
@ -1999,6 +2013,7 @@
(< (#.(D #x40410000 0) #.(D #x40634000 0)) T)
(< (#.(D #x40418000 0) 35) NIL)
(< (#.(D #x40418000 0) #.(S #x420C0000)) NIL)
(< (#.(D #x40418000 0) #.(D #x40634000 0)) T)
(< (#.(D #x40418000 0) #.(D #x4063A000 0)) T)
(< (#.(D #x40420000 0) #.(D #x40000000 0)) NIL)
(< (#.(D #x40420000 0) #.(D #x40420000 0)) NIL)
@ -2041,12 +2056,19 @@
(< (#.(D #x40632000 0) #.(D #x40408000 0)) NIL)
(< (#.(D #x40632000 0) #.(D #x40632000 0)) NIL)
(< (#.(D #x40634000 0) #.(D #x40410000 0)) NIL)
(< (#.(D #x40634000 0) #.(D #x40418000 0)) NIL)
(< (#.(D #x40634000 0) #.(D #x40634000 0)) NIL)
(< (#.(D #x4063A000 0) #.(D #x40418000 0)) NIL)
(< (#.(D #x4063A000 0) #.(D #x4063A000 0)) NIL)
(< (#.(D #x40642000 0) #.(D #x406AA000 0)) T)
(< (#.(D #x4067E000 0) #.(D #x4061E000 0)) NIL)
(< (#.(D #x4067E000 0) #.(D #x4063E000 0)) NIL)
(< (#.(D #x4067E000 0) #.(D #x4067E000 0)) NIL)
(< (#.(D #x4067E000 0) #.(D #x406AE000 0)) T)
(< (#.(D #x4069E000 0) #.(D #x40240000 0)) NIL)
(< (#.(D #x406AE000 0) #.(D #x406BE000 0)) T)
(< (#.(D #x406BE000 0) #.(D #x406EE000 0)) T)
(< (#.(D #x406EE000 0) #.(D #x406FE000 0)) T)
(< (#.(D #x406FE000 0) #.(D 0 0)) NIL)
(< (#.(D #x406FE000 0) #.(D #x406FE000 0)) NIL)
(< (#.(D #x40700000 0) #.(D #x40700000 0)) NIL)
@ -2061,6 +2083,8 @@
(< (#.(D #x4073CAEF #xD7D3CF75) #.(D #x43AFFFFF #xFFFFFFFF)) T)
(< (#.(D #x4073CAEF #xD7D3CF75) #.(D #x43CFFFFF #xFFFFFFFF)) T)
(< (#.(D #x40742000 0) #.(D #x40742000 0)) NIL)
(< (#.(D #x4079F000 0) #.(D #x407CD000 0)) T)
(< (#.(D #x407CF000 0) #.(D #x407DD000 0)) T)
(< (#.(D #x4084FD77 #xEBE9E7BA) #.(D #x41D00000 0)) T)
(< (#.(D #x4084FD77 #xEBE9E7BA) #.(D #x43C00000 0)) T)
(< (#.(D #x4084FD77 #xEBE9E7BA) #.(D #x43E00000 0)) T)
@ -2747,6 +2771,8 @@
(<= (97 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (110 #.(S #x7F7FFFFF)) T)
(<= (110 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (112 #.(S #x7F7FFFFF)) T)
(<= (112 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (113 #.(S #x7F7FFFFF)) T)
(<= (113 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (115 #.(S #x7F7FFFFF)) T)
@ -2785,20 +2811,28 @@
(<= (160 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (161 #.(S #x7F7FFFFF)) T)
(<= (161 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (168 #.(S #x7F7FFFFF)) T)
(<= (168 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (187 #.(S #x7F7FFFFF)) T)
(<= (187 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (189 #.(S #x7F7FFFFF)) T)
(<= (189 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (191 #.(S #x7F7FFFFF)) T)
(<= (191 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (207 #.(S #x7F7FFFFF)) T)
(<= (207 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (213 #.(S #x7F7FFFFF)) T)
(<= (213 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (214 #.(S #x7F7FFFFF)) T)
(<= (214 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (215 #.(S #x7F7FFFFF)) T)
(<= (215 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (218 #.(S #x7F7FFFFF)) T)
(<= (218 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (222 #.(S #x7F7FFFFF)) T)
(<= (222 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (223 #.(S #x7F7FFFFF)) T)
(<= (223 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (225 #.(S #x7F7FFFFF)) T)
(<= (225 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (229 #.(S #x7F7FFFFF)) T)
@ -2811,6 +2845,8 @@
(<= (238 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (240 #.(S #x7F7FFFFF)) T)
(<= (240 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (247 #.(S #x7F7FFFFF)) T)
(<= (247 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (249 #.(S #x7F7FFFFF)) T)
(<= (249 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (254 #.(S #x7F7FFFFF)) T)
@ -2823,6 +2859,14 @@
(<= (261 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (382 #.(S #x7F7FFFFF)) T)
(<= (382 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (415 #.(S #x7F7FFFFF)) T)
(<= (415 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (461 #.(S #x7F7FFFFF)) T)
(<= (461 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (463 #.(S #x7F7FFFFF)) T)
(<= (463 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (477 #.(S #x7F7FFFFF)) T)
(<= (477 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (511 #.(S #x7F7FFFFF)) T)
(<= (511 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (512 #.(S #x7F7FFFFF)) T)
@ -3270,6 +3314,8 @@
(<= (#x3FFFFFFFFFFFFFC2 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#x3FFFFFFFFFFFFFF4 #.(S #x7F7FFFFF)) T)
(<= (#x3FFFFFFFFFFFFFF4 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#x3FFFFFFFFFFFFFF6 #.(S #x7F7FFFFF)) T)
(<= (#x3FFFFFFFFFFFFFF6 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#x3FFFFFFFFFFFFFF8 #.(S #x7F7FFFFF)) T)
(<= (#x3FFFFFFFFFFFFFF8 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#x3FFFFFFFFFFFFFF9 #.(S #x7F7FFFFF)) T)
@ -3731,6 +3777,7 @@
(<= (#.(S #x-800001) 96) T)
(<= (#.(S #x-800001) 97) T)
(<= (#.(S #x-800001) 110) T)
(<= (#.(S #x-800001) 112) T)
(<= (#.(S #x-800001) 113) T)
(<= (#.(S #x-800001) 115) T)
(<= (#.(S #x-800001) 122) T)
@ -3750,25 +3797,34 @@
(<= (#.(S #x-800001) 159) T)
(<= (#.(S #x-800001) 160) T)
(<= (#.(S #x-800001) 161) T)
(<= (#.(S #x-800001) 168) T)
(<= (#.(S #x-800001) 187) T)
(<= (#.(S #x-800001) 189) T)
(<= (#.(S #x-800001) 191) T)
(<= (#.(S #x-800001) 207) T)
(<= (#.(S #x-800001) 213) T)
(<= (#.(S #x-800001) 214) T)
(<= (#.(S #x-800001) 215) T)
(<= (#.(S #x-800001) 218) T)
(<= (#.(S #x-800001) 222) T)
(<= (#.(S #x-800001) 223) T)
(<= (#.(S #x-800001) 225) T)
(<= (#.(S #x-800001) 229) T)
(<= (#.(S #x-800001) 230) T)
(<= (#.(S #x-800001) 233) T)
(<= (#.(S #x-800001) 238) T)
(<= (#.(S #x-800001) 240) T)
(<= (#.(S #x-800001) 247) T)
(<= (#.(S #x-800001) 249) T)
(<= (#.(S #x-800001) 254) T)
(<= (#.(S #x-800001) 255) T)
(<= (#.(S #x-800001) 256) T)
(<= (#.(S #x-800001) 261) T)
(<= (#.(S #x-800001) 382) T)
(<= (#.(S #x-800001) 415) T)
(<= (#.(S #x-800001) 461) T)
(<= (#.(S #x-800001) 463) T)
(<= (#.(S #x-800001) 477) T)
(<= (#.(S #x-800001) 511) T)
(<= (#.(S #x-800001) 512) T)
(<= (#.(S #x-800001) 580) T)
@ -3991,6 +4047,7 @@
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFC0) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFC2) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFF4) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFF6) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFF8) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFF9) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFFA) T)
@ -4133,18 +4190,27 @@
(<= (#.(S #x-800001) #.(S #x431F0000)) T)
(<= (#.(S #x-800001) #.(S #x43200000)) T)
(<= (#.(S #x-800001) #.(S #x43210000)) T)
(<= (#.(S #x-800001) #.(S #x43280000)) T)
(<= (#.(S #x-800001) #.(S #x433F0000)) T)
(<= (#.(S #x-800001) #.(S #x434F0000)) T)
(<= (#.(S #x-800001) #.(S #x43550000)) T)
(<= (#.(S #x-800001) #.(S #x43560000)) T)
(<= (#.(S #x-800001) #.(S #x43570000)) T)
(<= (#.(S #x-800001) #.(S #x435A0000)) T)
(<= (#.(S #x-800001) #.(S #x435F0000)) T)
(<= (#.(S #x-800001) #.(S #x43610000)) T)
(<= (#.(S #x-800001) #.(S #x43650000)) T)
(<= (#.(S #x-800001) #.(S #x436E0000)) T)
(<= (#.(S #x-800001) #.(S #x43700000)) T)
(<= (#.(S #x-800001) #.(S #x43770000)) T)
(<= (#.(S #x-800001) #.(S #x43790000)) T)
(<= (#.(S #x-800001) #.(S #x437E0000)) T)
(<= (#.(S #x-800001) #.(S #x437F0000)) T)
(<= (#.(S #x-800001) #.(S #x43800000)) T)
(<= (#.(S #x-800001) #.(S #x43CF8000)) T)
(<= (#.(S #x-800001) #.(S #x43E68000)) T)
(<= (#.(S #x-800001) #.(S #x43E78000)) T)
(<= (#.(S #x-800001) #.(S #x43EE8000)) T)
(<= (#.(S #x-800001) #.(S #x43FF8000)) T)
(<= (#.(S #x-800001) #.(S #x44000000)) T)
(<= (#.(S #x-800001) #.(S #x441C0000)) T)
@ -4433,6 +4499,7 @@
(<= (#.(S #x3F800000) #.(S #x42800000)) T)
(<= (#.(S #x3F800000) #.(S #x44FFC000)) T)
(<= (#.(S #x3F800000) #.(S #x46015400)) T)
(<= (#.(S #x3F800000) #.(S #x460C5800)) T)
(<= (#.(S #x3F800000) #.(S #x4AFFFFFC)) T)
(<= (#.(S #x3F800000) #.(S #x4AFFFFFE)) T)
(<= (#.(S #x3F800000) #.(S #x4DFFFFFF)) T)
@ -4457,6 +4524,7 @@
(<= (#.(S #x40000000) #.(S #x40A00000)) T)
(<= (#.(S #x40000000) #.(S #x41800000)) T)
(<= (#.(S #x40000000) #.(S #x42100000)) T)
(<= (#.(S #x40000000) #.(S #x5E800000)) T)
(<= (#.(S #x40000000) #.(D #x40000000 0)) T)
(<= (#.(S #x40000000) #.(D #x40300000 0)) T)
(<= (#.(S #x40135D8E) #.(S #x7F7FFFFF)) T)
@ -4528,6 +4596,7 @@
(<= (#.(S #x41100000) #.(S #x41800000)) T)
(<= (#.(S #x41100000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x41200000) #.(S 0)) NIL)
(<= (#.(S #x41200000) #.(S #x434F0000)) T)
(<= (#.(S #x41200000) #.(S #x44C60000)) T)
(<= (#.(S #x41200000) #.(S #x4987FE78)) T)
(<= (#.(S #x41200000) #.(S #x7F7FFFFF)) T)
@ -4595,6 +4664,7 @@
(<= (#.(S #x42080000) #.(S #x43170000)) T)
(<= (#.(S #x42080000) #.(S #x431A0000)) T)
(<= (#.(S #x42080000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x420C0000) #.(S #x431A0000)) T)
(<= (#.(S #x420C0000) #.(S #x431D0000)) T)
(<= (#.(S #x420C0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x42100000) #.(S #x42100000)) T)
@ -4651,6 +4721,7 @@
(<= (#.(S #x43190000) #.(S #x43190000)) T)
(<= (#.(S #x43190000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x431A0000) #.(S #x42080000)) NIL)
(<= (#.(S #x431A0000) #.(S #x431A0000)) T)
(<= (#.(S #x431A0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x431D0000) #.(S #x431D0000)) T)
(<= (#.(S #x431D0000) #.(S #x7F7FFFFF)) T)
@ -4659,23 +4730,32 @@
(<= (#.(S #x43200000) #.(S #x433F0000)) T)
(<= (#.(S #x43200000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43210000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43280000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x433F0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x434F0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43550000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43560000) #.(S #x435A0000)) T)
(<= (#.(S #x43560000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43570000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x435A0000) #.(S #x43560000)) NIL)
(<= (#.(S #x435A0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x435F0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43610000) #.(S #x43650000)) T)
(<= (#.(S #x43610000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43650000) #.(S #x43610000)) NIL)
(<= (#.(S #x43650000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x436E0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43700000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43770000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43790000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x437E0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x437F0000) #.(S #x437F0000)) T)
(<= (#.(S #x437F0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43800000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43CF8000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43E68000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43E78000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43EE8000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43FF8000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x44000000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x441C0000) #.(S #x7F7FFFFF)) T)
@ -5528,6 +5608,7 @@
(<= (#.(D #x-100001 #xFFFFFFFF) 96) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 97) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 110) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 112) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 113) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 115) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 122) T)
@ -5547,25 +5628,34 @@
(<= (#.(D #x-100001 #xFFFFFFFF) 159) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 160) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 161) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 168) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 187) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 189) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 191) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 207) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 213) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 214) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 215) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 218) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 222) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 223) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 225) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 229) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 230) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 233) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 238) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 240) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 247) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 249) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 254) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 255) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 256) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 261) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 382) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 415) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 461) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 463) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 477) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 511) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 512) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 580) T)
@ -5788,6 +5878,7 @@
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFC0) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFC2) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFF4) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFF6) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFF8) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFF9) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFFA) T)
@ -5973,18 +6064,27 @@
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4063E000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40640000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40642000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40650000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4067E000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4069E000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406AA000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406AC000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406AE000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406B4000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406BE000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406C2000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406CA000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406DC000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406E0000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406EE000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406F2000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406FC000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406FE000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40700000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4079F000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x407CD000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x407CF000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x407DD000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x407FF000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40800000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40838000 0)) T)
@ -6297,6 +6397,7 @@
(<= (#.(D #x3FF00000 0) #.(D #x40500000 0)) T)
(<= (#.(D #x3FF00000 0) #.(D #x409FF800 0)) T)
(<= (#.(D #x3FF00000 0) #.(D #x40C02A80 0)) T)
(<= (#.(D #x3FF00000 0) #.(D #x40C18B00 0)) T)
(<= (#.(D #x3FF00000 0) #.(D #x415FFFFF #x80000000)) T)
(<= (#.(D #x3FF00000 0) #.(D #x415FFFFF #xC0000000)) T)
(<= (#.(D #x3FF00000 0) #.(D #x41BFFFFF #xFC000000)) T)
@ -6430,6 +6531,7 @@
(<= (#.(D #x40240000 0) #.(D #x-40100000 0)) NIL)
(<= (#.(D #x40240000 0) #.(D 0 0)) NIL)
(<= (#.(D #x40240000 0) #.(D #x40000000 0)) NIL)
(<= (#.(D #x40240000 0) #.(D #x4069E000 0)) T)
(<= (#.(D #x40240000 0) #.(D #x4098C000 0)) T)
(<= (#.(D #x40240000 0) #.(D #x4130FFCF 0)) T)
(<= (#.(D #x40260000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -6566,6 +6668,7 @@
(<= (#.(D #x40632000 0) #.(D #x40632000 0)) T)
(<= (#.(D #x40632000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x40634000 0) #.(D #x40410000 0)) NIL)
(<= (#.(D #x40634000 0) #.(D #x40634000 0)) T)
(<= (#.(D #x40634000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x4063A000 0) #.(D #x4063A000 0)) T)
(<= (#.(D #x4063A000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -6574,19 +6677,24 @@
(<= (#.(D #x40640000 0) #.(D #x4067E000 0)) T)
(<= (#.(D #x40640000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x40642000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x40650000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406633CE #x8FB9F87D) #.(D 0 0)) NIL)
(<= (#.(D #x4067E000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x4069E000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406AA000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406AC000 0) #.(D #x406B4000 0)) T)
(<= (#.(D #x406AC000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406AE000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406B4000 0) #.(D #x406AC000 0)) NIL)
(<= (#.(D #x406B4000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406BE000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406C2000 0) #.(D #x406CA000 0)) T)
(<= (#.(D #x406C2000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406CA000 0) #.(D #x406C2000 0)) NIL)
(<= (#.(D #x406CA000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406DC000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406E0000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406EE000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406F2000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406FC000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x406FE000 0) #.(D #x406FE000 0)) T)
@ -6599,6 +6707,10 @@
(<= (#.(D #x4073CAEF #xD7D3CF75) #.(D #x4073CAEF #xD7D3CF75)) T)
(<= (#.(D #x4073CAEF #xD7D3D654) #.(D #x-80000000 0)) NIL)
(<= (#.(D #x40742000 0) #.(D #x40742000 0)) T)
(<= (#.(D #x4079F000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x407CD000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x407CF000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x407DD000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x407FF000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x40800000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x40838000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -7151,6 +7263,7 @@
(<= (#.(S #x-800001) 97 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 100 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 110 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 112 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 113 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 115 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 122 #.(S #x7F7FFFFF)) T)
@ -7170,25 +7283,34 @@
(<= (#.(S #x-800001) 159 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 160 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 161 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 168 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 187 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 189 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 191 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 207 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 213 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 214 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 215 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 218 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 222 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 223 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 225 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 229 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 230 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 233 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 238 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 240 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 247 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 249 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 254 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 255 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 256 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 261 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 382 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 415 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 461 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 463 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 477 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 511 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 512 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 580 #.(S #x7F7FFFFF)) T)
@ -7419,6 +7541,7 @@
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFC0 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFC2 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFF4 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFF6 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFF8 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFF9 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFFFFFFA #.(S #x7F7FFFFF)) T)
@ -7607,18 +7730,27 @@
(<= (#.(S #x-800001) #.(S #x431F0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43200000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43210000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43280000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x433F0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x434F0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43550000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43560000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43570000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x435A0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x435F0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43610000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43650000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x436E0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43700000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43770000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43790000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x437E0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x437F0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43800000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43CF8000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43E68000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43E78000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43EE8000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43FF8000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x44000000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x441C0000) #.(S #x7F7FFFFF)) T)
@ -7941,6 +8073,7 @@
(<= (#.(D #x-100001 #xFFFFFFFF) 97 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 100 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 110 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 112 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 113 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 115 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 122 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -7960,19 +8093,24 @@
(<= (#.(D #x-100001 #xFFFFFFFF) 159 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 160 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 161 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 168 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 187 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 189 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 191 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 207 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 213 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 214 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 215 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 218 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 222 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 223 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 225 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 229 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 230 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 233 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 238 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 240 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 247 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 249 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 254 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 255 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -7980,6 +8118,10 @@
(<= (#.(D #x-100001 #xFFFFFFFF) 261 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 308 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 382 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 415 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 461 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 463 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 477 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 511 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 512 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 580 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -8212,6 +8354,7 @@
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFC0 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFC2 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFF4 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFF6 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFF8 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFF9 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFFFFFFA #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -8484,15 +8627,20 @@
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4063E000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40640000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40642000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40650000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406633CE #x8FB9F87D) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4067E000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4069E000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406AA000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406AC000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406AE000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406B4000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406BE000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406C2000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406CA000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406DC000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406E0000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406EE000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406F2000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406FC000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x406FE000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -8504,6 +8652,10 @@
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4073CAEF #xD7D3CF75) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4073CAEF #xD7D3D654) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40742000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4079F000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x407CD000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x407CF000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x407DD000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x407FF000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40800000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40838000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -11043,6 +11195,7 @@
(> (#.(S #x42080000) #.(S #x431A0000)) NIL)
(> (#.(S #x42080000) #.(D #x40410000 0)) NIL)
(> (#.(S #x420C0000) #.(S #x420C0000)) NIL)
(> (#.(S #x420C0000) #.(S #x431A0000)) NIL)
(> (#.(S #x420C0000) #.(S #x431D0000)) NIL)
(> (#.(S #x420C0000) #.(D #x40418000 0)) NIL)
(> (#.(S #x421C0000) #.(S #x421C0000)) NIL)
@ -11089,14 +11242,20 @@
(> (#.(S #x433F0000) #.(S #x431F0000)) T)
(> (#.(S #x43550000) #.(S #x43210000)) T)
(> (#.(S #x43560000) #.(S #x43560000)) NIL)
(> (#.(S #x43570000) #.(S #x433F0000)) T)
(> (#.(S #x435A0000) #.(S #x435A0000)) NIL)
(> (#.(S #x435F0000) #.(S #x43570000)) T)
(> (#.(S #x43610000) #.(S #x43610000)) NIL)
(> (#.(S #x43650000) #.(S #x43650000)) NIL)
(> (#.(S #x436E0000) #.(S #x436E0000)) NIL)
(> (#.(S #x43770000) #.(S #x435F0000)) T)
(> (#.(S #x43790000) #.(S #x43790000)) NIL)
(> (#.(S #x437F0000) #.(S #x3F800000)) T)
(> (#.(S #x437F0000) #.(S #x43770000)) T)
(> (#.(S #x437F0000) #.(S #x437F0000)) NIL)
(> (#.(S #x43800000) #.(S #x43800000)) NIL)
(> (#.(S #x43E68000) #.(S #x43CF8000)) T)
(> (#.(S #x43EE8000) #.(S #x43E78000)) T)
(> (#.(S #x43FF8000) #.(S 0)) T)
(> (#.(S #x447A0000) #.(S #x447A0000)) NIL)
(> (#.(S #x447FC000) #.(S #x447FC000)) NIL)
@ -11993,6 +12152,7 @@
(> (#.(D #x40418000 0) 35) NIL)
(> (#.(D #x40418000 0) #.(S #x420C0000)) NIL)
(> (#.(D #x40418000 0) #.(D #x40418000 0)) NIL)
(> (#.(D #x40418000 0) #.(D #x40634000 0)) NIL)
(> (#.(D #x40418000 0) #.(D #x4063A000 0)) NIL)
(> (#.(D #x40438000 0) #.(D #x40438000 0)) NIL)
(> (#.(D #x4044CB5E #xCF0A9650) #.(D #x4045D589 #xF2FE5107)) NIL)
@ -12051,15 +12211,21 @@
(> (#.(D #x4067E000 0) #.(D #x4063E000 0)) T)
(> (#.(D #x406AA000 0) #.(D #x40642000 0)) T)
(> (#.(D #x406AC000 0) #.(D #x406AC000 0)) NIL)
(> (#.(D #x406AE000 0) #.(D #x4067E000 0)) T)
(> (#.(D #x406B4000 0) #.(D #x406B4000 0)) NIL)
(> (#.(D #x406BE000 0) #.(D #x406AE000 0)) T)
(> (#.(D #x406C2000 0) #.(D #x406C2000 0)) NIL)
(> (#.(D #x406CA000 0) #.(D #x406CA000 0)) NIL)
(> (#.(D #x406DC000 0) #.(D #x406DC000 0)) NIL)
(> (#.(D #x406EE000 0) #.(D #x406BE000 0)) T)
(> (#.(D #x406F2000 0) #.(D #x406F2000 0)) NIL)
(> (#.(D #x406FE000 0) #.(D #x3FF00000 0)) T)
(> (#.(D #x406FE000 0) #.(D #x406EE000 0)) T)
(> (#.(D #x406FE000 0) #.(D #x406FE000 0)) NIL)
(> (#.(D #x40700000 0) #.(D #x40700000 0)) NIL)
(> (#.(D #x4073CAEF #xD7D3CF75) #.(D #x41BFFFFF #xFFFFFFFF)) NIL)
(> (#.(D #x407CD000 0) #.(D #x4079F000 0)) T)
(> (#.(D #x407DD000 0) #.(D #x407CF000 0)) T)
(> (#.(D #x407FF000 0) #.(D 0 0)) T)
(> (#.(D #x4083BA73 #x2107A1BA) #.(D #x3FE00000 0)) T)
(> (#.(D #x4083BA73 #x2107A1BA) #.(D #x4083BA09 #xA84FBD00)) T)
@ -12820,6 +12986,7 @@
(>= (#.(S #x41200000) #.(S #x41200000)) T)
(>= (#.(S #x41200000) #.(S #x41700000)) NIL)
(>= (#.(S #x41200000) #.(S #x42100000)) NIL)
(>= (#.(S #x41200000) #.(S #x43280000)) NIL)
(>= (#.(S #x41200000) #.(S #x44C50000)) NIL)
(>= (#.(S #x41200000) #.(S #x4987FD40)) NIL)
(>= (#.(S #x41200000) #.(S #x4987FD78)) NIL)
@ -12870,6 +13037,7 @@
(>= (#.(S #x42080000) #.(S #x43170000)) NIL)
(>= (#.(S #x42080000) #.(S #x431A0000)) NIL)
(>= (#.(S #x420C0000) #.(S #x420C0000)) T)
(>= (#.(S #x420C0000) #.(S #x431A0000)) NIL)
(>= (#.(S #x420C0000) #.(S #x431D0000)) NIL)
(>= (#.(S #x42100000) #.(S #x40000000)) T)
(>= (#.(S #x426C0000) #.(S 0)) T)
@ -12895,6 +13063,7 @@
(>= (#.(S #x43170000) #.(S #x42080000)) T)
(>= (#.(S #x43190000) #.(S #x42040000)) T)
(>= (#.(S #x431A0000) #.(S #x42080000)) T)
(>= (#.(S #x431A0000) #.(S #x420C0000)) T)
(>= (#.(S #x431D0000) #.(S #x420C0000)) T)
(>= (#.(S #x431F0000) #.(S #x43000000)) T)
(>= (#.(S #x431F0000) #.(S #x433F0000)) NIL)
@ -12902,12 +13071,18 @@
(>= (#.(S #x433F0000) #.(S #x43000000)) T)
(>= (#.(S #x433F0000) #.(S #x43100000)) T)
(>= (#.(S #x433F0000) #.(S #x43200000)) T)
(>= (#.(S #x433F0000) #.(S #x43570000)) NIL)
(>= (#.(S #x43560000) #.(S #x435A0000)) NIL)
(>= (#.(S #x43570000) #.(S #x435F0000)) NIL)
(>= (#.(S #x435A0000) #.(S #x43560000)) T)
(>= (#.(S #x435F0000) #.(S #x43770000)) NIL)
(>= (#.(S #x43610000) #.(S #x43650000)) NIL)
(>= (#.(S #x43650000) #.(S #x43610000)) T)
(>= (#.(S #x43770000) #.(S #x437F0000)) NIL)
(>= (#.(S #x437E0000) #.(S #x3F800000)) T)
(>= (#.(S #x437F0000) #.(S 0)) T)
(>= (#.(S #x43CF8000) #.(S #x43E68000)) NIL)
(>= (#.(S #x43E78000) #.(S #x43EE8000)) NIL)
(>= (#.(S #x44000000) #.(S 0)) T)
(>= (#.(S #x447A0000) 0) T)
(>= (#.(S #x447A0000) #.(S #x40000000)) T)
@ -13049,6 +13224,7 @@
(>= (#.(S #x5E800000) #.(S #x-80000000)) T)
(>= (#.(S #x5E800000) #.(S #x-21800000)) T)
(>= (#.(S #x5E800000) #.(S 0)) T)
(>= (#.(S #x5E800000) #.(S #x40000000)) T)
(>= (#.(S #x5E800000) #.(S #x41800000)) T)
(>= (#.(S #x5E800000) #.(S #x5E7FFFFF)) T)
(>= (#.(S #x5E800000) #.(S #x5E800000)) T)
@ -13639,6 +13815,7 @@
(>= (#.(D #x40240000 0) #.(D #x40240000 0)) T)
(>= (#.(D #x40240000 0) #.(D #x402E0000 0)) NIL)
(>= (#.(D #x40240000 0) #.(D #x40420000 0)) NIL)
(>= (#.(D #x40240000 0) #.(D #x40650000 0)) NIL)
(>= (#.(D #x40240000 0) #.(D #x4098A000 0)) NIL)
(>= (#.(D #x40240000 0) #.(D #x4130FFA8 0)) NIL)
(>= (#.(D #x40240000 0) #.(D #x4130FFAF 0)) NIL)
@ -13700,8 +13877,10 @@
(>= (#.(D #x40410000 0) #.(D #x40410000 0)) T)
(>= (#.(D #x40410000 0) #.(D #x4062E000 0)) NIL)
(>= (#.(D #x40410000 0) #.(D #x40634000 0)) NIL)
(>= (#.(D #x40418000 0) 154) NIL)
(>= (#.(D #x40418000 0) 157) NIL)
(>= (#.(D #x40418000 0) #.(D #x40418000 0)) T)
(>= (#.(D #x40418000 0) #.(D #x40634000 0)) NIL)
(>= (#.(D #x40418000 0) #.(D #x4063A000 0)) NIL)
(>= (#.(D #x40420000 0) #.(D #x40000000 0)) T)
(>= (#.(D #x4044CB5E #xCF0A9650) 0) T)
@ -13732,6 +13911,7 @@
(>= (#.(D #x4062E000 0) #.(D #x40410000 0)) T)
(>= (#.(D #x40632000 0) #.(D #x40408000 0)) T)
(>= (#.(D #x40634000 0) #.(D #x40410000 0)) T)
(>= (#.(D #x40634000 0) #.(D #x40418000 0)) T)
(>= (#.(D #x4063A000 0) #.(D #x40418000 0)) T)
(>= (#.(D #x4063E000 0) #.(D #x40600000 0)) T)
(>= (#.(D #x4063E000 0) #.(D #x4067E000 0)) NIL)
@ -13741,13 +13921,19 @@
(>= (#.(D #x4067E000 0) #.(D #x40600000 0)) T)
(>= (#.(D #x4067E000 0) #.(D #x40620000 0)) T)
(>= (#.(D #x4067E000 0) #.(D #x40640000 0)) T)
(>= (#.(D #x4067E000 0) #.(D #x406AE000 0)) NIL)
(>= (#.(D #x406AC000 0) #.(D #x406B4000 0)) NIL)
(>= (#.(D #x406AE000 0) #.(D #x406BE000 0)) NIL)
(>= (#.(D #x406B4000 0) #.(D #x406AC000 0)) T)
(>= (#.(D #x406BE000 0) #.(D #x406EE000 0)) NIL)
(>= (#.(D #x406C2000 0) #.(D #x406CA000 0)) NIL)
(>= (#.(D #x406CA000 0) #.(D #x406C2000 0)) T)
(>= (#.(D #x406EE000 0) #.(D #x406FE000 0)) NIL)
(>= (#.(D #x406FC000 0) #.(D #x3FF00000 0)) T)
(>= (#.(D #x406FE000 0) #.(D 0 0)) T)
(>= (#.(D #x4073CAEF #xD7D3CF75) #.(D #x41BFFFFF #xFFFFFFFF)) NIL)
(>= (#.(D #x4079F000 0) #.(D #x407CD000 0)) NIL)
(>= (#.(D #x407CF000 0) #.(D #x407DD000 0)) NIL)
(>= (#.(D #x40800000 0) #.(D 0 0)) T)
(>= (#.(D #x408FF800 0) #.(D 0 0)) T)
(>= (#.(D #x4099B000 0) #.(D #x4099AC00 0)) T)
@ -13912,6 +14098,7 @@
(>= (#.(D #x43D00000 0) #.(D #x-3C200000 0)) T)
(>= (#.(D #x43D00000 0) #.(D 0 0)) T)
(>= (#.(D #x43D00000 0) #.(D #x3C100000 0)) T)
(>= (#.(D #x43D00000 0) #.(D #x40000000 0)) T)
(>= (#.(D #x43D00000 0) #.(D #x40300000 0)) T)
(>= (#.(D #x43D00000 0) #.(D #x43CFFFFF #xFFFFFFFF)) T)
(>= (#.(D #x43D00000 0) #.(D #x43E00000 0)) NIL)
@ -14337,6 +14524,7 @@
(COERCE (110 SINGLE-FLOAT) #.(S #x42DC0000))
(COERCE (111 DOUBLE-FLOAT) #.(D #x405BC000 0))
(COERCE (112 DOUBLE-FLOAT) #.(D #x405C0000 0))
(COERCE (112 SINGLE-FLOAT) #.(S #x42E00000))
(COERCE (113 DOUBLE-FLOAT) #.(D #x405C4000 0))
(COERCE (113 SINGLE-FLOAT) #.(S #x42E20000))
(COERCE (115 DOUBLE-FLOAT) #.(D #x405CC000 0))
@ -14377,6 +14565,8 @@
(COERCE (160 SINGLE-FLOAT) #.(S #x43200000))
(COERCE (161 DOUBLE-FLOAT) #.(D #x40642000 0))
(COERCE (161 SINGLE-FLOAT) #.(S #x43210000))
(COERCE (168 DOUBLE-FLOAT) #.(D #x40650000 0))
(COERCE (168 SINGLE-FLOAT) #.(S #x43280000))
(COERCE (187 DOUBLE-FLOAT) #.(D #x40676000 0))
(COERCE (187 SINGLE-FLOAT) #.(S #x433B0000))
(COERCE (189 DOUBLE-FLOAT) #.(D #x4067A000 0))
@ -14384,15 +14574,21 @@
(COERCE (191 DOUBLE-FLOAT) #.(D #x4067E000 0))
(COERCE (191 SINGLE-FLOAT) #.(S #x433F0000))
(COERCE (192 DOUBLE-FLOAT) #.(D #x40680000 0))
(COERCE (207 DOUBLE-FLOAT) #.(D #x4069E000 0))
(COERCE (207 SINGLE-FLOAT) #.(S #x434F0000))
(COERCE (210 DOUBLE-FLOAT) #.(D #x406A4000 0))
(COERCE (213 DOUBLE-FLOAT) #.(D #x406AA000 0))
(COERCE (213 SINGLE-FLOAT) #.(S #x43550000))
(COERCE (214 DOUBLE-FLOAT) #.(D #x406AC000 0))
(COERCE (214 SINGLE-FLOAT) #.(S #x43560000))
(COERCE (215 DOUBLE-FLOAT) #.(D #x406AE000 0))
(COERCE (215 SINGLE-FLOAT) #.(S #x43570000))
(COERCE (218 DOUBLE-FLOAT) #.(D #x406B4000 0))
(COERCE (218 SINGLE-FLOAT) #.(S #x435A0000))
(COERCE (222 DOUBLE-FLOAT) #.(D #x406BC000 0))
(COERCE (222 SINGLE-FLOAT) #.(S #x435E0000))
(COERCE (223 DOUBLE-FLOAT) #.(D #x406BE000 0))
(COERCE (223 SINGLE-FLOAT) #.(S #x435F0000))
(COERCE (224 DOUBLE-FLOAT) #.(D #x406C0000 0))
(COERCE (225 DOUBLE-FLOAT) #.(D #x406C2000 0))
(COERCE (225 SINGLE-FLOAT) #.(S #x43610000))
@ -14410,6 +14606,8 @@
(COERCE (240 SINGLE-FLOAT) #.(S #x43700000))
(COERCE (244 DOUBLE-FLOAT) #.(D #x406E8000 0))
(COERCE (245 DOUBLE-FLOAT) #.(D #x406EA000 0))
(COERCE (247 DOUBLE-FLOAT) #.(D #x406EE000 0))
(COERCE (247 SINGLE-FLOAT) #.(S #x43770000))
(COERCE (249 DOUBLE-FLOAT) #.(D #x406F2000 0))
(COERCE (249 SINGLE-FLOAT) #.(S #x43790000))
(COERCE (254 DOUBLE-FLOAT) #.(D #x406FC000 0))
@ -14426,7 +14624,15 @@
(COERCE (322 DOUBLE-FLOAT) #.(D #x40742000 0))
(COERCE (382 DOUBLE-FLOAT) #.(D #x4077E000 0))
(COERCE (382 SINGLE-FLOAT) #.(S #x43BF0000))
(COERCE (415 DOUBLE-FLOAT) #.(D #x4079F000 0))
(COERCE (415 SINGLE-FLOAT) #.(S #x43CF8000))
(COERCE (421 DOUBLE-FLOAT) #.(D #x407A5000 0))
(COERCE (461 DOUBLE-FLOAT) #.(D #x407CD000 0))
(COERCE (461 SINGLE-FLOAT) #.(S #x43E68000))
(COERCE (463 DOUBLE-FLOAT) #.(D #x407CF000 0))
(COERCE (463 SINGLE-FLOAT) #.(S #x43E78000))
(COERCE (477 DOUBLE-FLOAT) #.(D #x407DD000 0))
(COERCE (477 SINGLE-FLOAT) #.(S #x43EE8000))
(COERCE (511 DOUBLE-FLOAT) #.(D #x407FF000 0))
(COERCE (511 SINGLE-FLOAT) #.(S #x43FF8000))
(COERCE (512 DOUBLE-FLOAT) #.(D #x40800000 0))
@ -14904,6 +15110,8 @@
(COERCE (#x3FFFFFFFFFFFFFC2 SINGLE-FLOAT) #.(S #x5E800000))
(COERCE (#x3FFFFFFFFFFFFFF4 DOUBLE-FLOAT) #.(D #x43D00000 0))
(COERCE (#x3FFFFFFFFFFFFFF4 SINGLE-FLOAT) #.(S #x5E800000))
(COERCE (#x3FFFFFFFFFFFFFF6 DOUBLE-FLOAT) #.(D #x43D00000 0))
(COERCE (#x3FFFFFFFFFFFFFF6 SINGLE-FLOAT) #.(S #x5E800000))
(COERCE (#x3FFFFFFFFFFFFFF8 DOUBLE-FLOAT) #.(D #x43D00000 0))
(COERCE (#x3FFFFFFFFFFFFFF8 SINGLE-FLOAT) #.(S #x5E800000))
(COERCE (#x3FFFFFFFFFFFFFF9 DOUBLE-FLOAT) #.(D #x43D00000 0))