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

Update math journal again

Browse source
This commit is contained in:
Douglas Katzman 2024-01-17 17:36:03 -05:00
parent b5688d2616
commit 973cafa3c7
1 changed files with 71 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

71
xfloat-math.lisp-expr
View file

@ -1117,6 +1117,7 @@
(< (#.(S #x-40800000) #.(S #x-34800000)) NIL)
(< (#.(S #x-40800000) #.(S 0)) T)
(< (#.(S #x-40800000) #.(S #x3F800000)) T)
(< (#.(S #x-40800000) #.(S #x47800000)) T)
(< (#.(S #x-40800000) #.(S #x4B7FFFFF)) T)
(< (#.(S #x-40800000) #.(S #x4DFFFFFF)) T)
(< (#.(S #x-40800000) #.(S #x4E000000)) T)
@ -1223,6 +1224,7 @@
(< (#.(S #x-21800000) #.(D 0 0)) T)
(< (#.(S #x-21600000) 0) T)
(< (#.(S #x-21000000) #.(S 0)) T)
(< (#.(S #x-21000000) #.(S #x47800000)) T)
(< (#.(S #x-21000000) #.(S #x4F800000)) T)
(< (#.(S #x-20B6F025) 0) T)
(< (#.(S #x-20B6F025) #.(S #x-20B6F025)) NIL)
@ -1473,8 +1475,10 @@
(< (#.(S #x42040000) #.(S #x43160000)) T)
(< (#.(S #x42040000) #.(S #x43170000)) T)
(< (#.(S #x42040000) #.(S #x43190000)) T)
(< (#.(S #x42040000) #.(S #x431A0000)) T)
(< (#.(S #x42080000) #.(S #x42080000)) NIL)
(< (#.(S #x42080000) #.(S #x43170000)) T)
(< (#.(S #x42080000) #.(S #x43180000)) T)
(< (#.(S #x42080000) #.(S #x431A0000)) T)
(< (#.(S #x42080000) #.(S #x431B0000)) T)
(< (#.(S #x420C0000) #.(S #x420C0000)) NIL)
@ -1483,6 +1487,7 @@
(< (#.(S #x420C0000) #.(S #x431E0000)) T)
(< (#.(S #x42100000) #.(S #x40000000)) NIL)
(< (#.(S #x42100000) #.(S #x42100000)) NIL)
(< (#.(S #x42265AF6) #.(S #x52317218)) T)
(< (#.(S #x42265AF6) #.(S #x5E317218)) T)
(< (#.(S #x422BE687) #.(S #x52317218)) T)
(< (#.(S #x422BE687) #.(S #x5E317218)) T)
@ -1510,8 +1515,11 @@
(< (#.(S #x43170000) #.(S #x42040000)) NIL)
(< (#.(S #x43170000) #.(S #x42080000)) NIL)
(< (#.(S #x43170000) #.(S #x43170000)) NIL)
(< (#.(S #x43180000) #.(S #x42080000)) NIL)
(< (#.(S #x43180000) #.(S #x43180000)) NIL)
(< (#.(S #x43190000) #.(S #x42040000)) NIL)
(< (#.(S #x43190000) #.(S #x43190000)) NIL)
(< (#.(S #x431A0000) #.(S #x42040000)) NIL)
(< (#.(S #x431A0000) #.(S #x42080000)) NIL)
(< (#.(S #x431A0000) #.(S #x420C0000)) NIL)
(< (#.(S #x431A0000) #.(S #x431A0000)) NIL)
@ -1770,6 +1778,7 @@
(< (#.(S #x5DFFFFFF) #.(S #x-40800001)) NIL)
(< (#.(S #x5E000000) 0) NIL)
(< (#.(S #x5E000000) #.(S 0)) NIL)
(< (#.(S #x5E000000) #.(S #x5E000000)) NIL)
(< (#.(S #x5E490FDB) #.(S #x5E490FDB)) NIL)
(< (#.(S #x5E7FFFFF) #.(S #x-40800001)) NIL)
(< (#.(S #x5E7FFFFF) #.(S #x-21800000)) NIL)
@ -1903,6 +1912,7 @@
(< (#.(D #x-40100000 0) #.(D #x-100001 #xFFFFFFFF)) NIL)
(< (#.(D #x-40100000 0) #.(D 0 0)) T)
(< (#.(D #x-40100000 0) #.(D #x3FF00000 0)) T)
(< (#.(D #x-40100000 0) #.(D #x40F00000 0)) T)
(< (#.(D #x-40100000 0) #.(D #x41BFFFFF #xFB000000)) T)
(< (#.(D #x-40100000 0) #.(D #x41BFFFFF #xFC000000)) T)
(< (#.(D #x-40100000 0) #.(D #x41BFFFFF #xFF000000)) T)
@ -2038,6 +2048,7 @@
(< (#.(D #x-3C300000 0) #.(D #x43D00004 0)) T)
(< (#.(D #x-3C2C0000 0) 0) T)
(< (#.(D #x-3C200000 0) #.(D 0 0)) T)
(< (#.(D #x-3C200000 0) #.(D #x40F00000 0)) T)
(< (#.(D #x-3C200000 0) #.(D #x41F00000 0)) T)
(< (#.(D #x-3C16DE05 #x54442D18) 0) T)
(< (#.(D #x-3C16DE05 #x54442D18) #.(D #x-3C16DE05 #x54442D18)) NIL)
@ -2358,10 +2369,12 @@
(< (#.(D #x40408000 0) #.(D #x4062C000 0)) T)
(< (#.(D #x40408000 0) #.(D #x4062E000 0)) T)
(< (#.(D #x40408000 0) #.(D #x40632000 0)) T)
(< (#.(D #x40408000 0) #.(D #x40634000 0)) T)
(< (#.(D #x40410000 0) 34) NIL)
(< (#.(D #x40410000 0) #.(S #x42080000)) NIL)
(< (#.(D #x40410000 0) #.(D #x40410000 0)) NIL)
(< (#.(D #x40410000 0) #.(D #x4062E000 0)) T)
(< (#.(D #x40410000 0) #.(D #x40630000 0)) T)
(< (#.(D #x40410000 0) #.(D #x40634000 0)) T)
(< (#.(D #x40410000 0) #.(D #x40636000 0)) T)
(< (#.(D #x40418000 0) 35) NIL)
@ -2372,6 +2385,7 @@
(< (#.(D #x40420000 0) #.(D #x40000000 0)) NIL)
(< (#.(D #x40420000 0) #.(D #x40420000 0)) NIL)
(< (#.(D #x4044CB5E #xCF0A9650) #.(D #x-80000000 0)) NIL)
(< (#.(D #x4044CB5E #xCF0A9650) #.(D #x42462E42 #xFEF9E136)) T)
(< (#.(D #x4044CB5E #xCF0A9650) #.(D #x43C62E42 #xFEFA39EF)) T)
(< (#.(D #x40457CD0 #xE7026821) #.(D #x-80000000 0)) NIL)
(< (#.(D #x40457CD0 #xE7026821) #.(D #x42462E42 #xFEF9E136)) T)
@ -2410,8 +2424,11 @@
(< (#.(D #x4062E000 0) #.(D #x40408000 0)) NIL)
(< (#.(D #x4062E000 0) #.(D #x40410000 0)) NIL)
(< (#.(D #x4062E000 0) #.(D #x4062E000 0)) NIL)
(< (#.(D #x40630000 0) #.(D #x40410000 0)) NIL)
(< (#.(D #x40630000 0) #.(D #x40630000 0)) NIL)
(< (#.(D #x40632000 0) #.(D #x40408000 0)) NIL)
(< (#.(D #x40632000 0) #.(D #x40632000 0)) NIL)
(< (#.(D #x40634000 0) #.(D #x40408000 0)) NIL)
(< (#.(D #x40634000 0) #.(D #x40410000 0)) NIL)
(< (#.(D #x40634000 0) #.(D #x40418000 0)) NIL)
(< (#.(D #x40634000 0) #.(D #x40634000 0)) NIL)
@ -2566,6 +2583,7 @@
(< (#.(D #x423FFFFF #xFFFF0000) #.(D #x43D00000 0)) T)
(< (#.(D #x42462E42 #xFEF9E136) #.(D #x-80000000 0)) NIL)
(< (#.(D #x424FFFFF #xFFFF8000) #.(D #x40000000 0)) NIL)
(< (#.(D #x424FFFFF #xFFFF8000) #.(D #x404E0000 0)) NIL)
(< (#.(D #x424FFFFF #xFFFF8000) #.(D #x404F0000 #x1)) NIL)
(< (#.(D #x424FFFFF #xFFFF8000) #.(D #x404F8000 0)) NIL)
(< (#.(D #x424FFFFF #xFFFF8000) #.(D #x424FFFFF #xFFFF8000)) NIL)
@ -2601,6 +2619,7 @@
(< (#.(D #x42B00000 #x200) #.(D #x42AFFFFF #xFFFFFE00)) NIL)
(< (#.(D #x42B000FF #xFFFFFE00) #.(D #x41FFFFFF #xFFE00000)) NIL)
(< (#.(D #x42BFFFFF #xFFFFFE00) 0) NIL)
(< (#.(D #x42BFFFFF #xFFFFFE00) #.(D #x42BFFFFF #xFFFFFE00)) NIL)
(< (#.(D #x42BFFFFF #xFFFFFE00) #.(D #x42BFFFFF #xFFFFFF00)) T)
(< (#.(D #x42BFFFFF #xFFFFFF00) #.(S #x56000000)) T)
(< (#.(D #x42BFFFFF #xFFFFFF00) #.(D 0 0)) NIL)
@ -2660,6 +2679,7 @@
(< (#.(D #x43B55555 #x55555557) #.(D 0 0)) NIL)
(< (#.(D #x43C00000 0) 0) NIL)
(< (#.(D #x43C00000 0) #.(D 0 0)) NIL)
(< (#.(D #x43C00000 0) #.(D #x43C00000 0)) NIL)
(< (#.(D #x43C62E42 #xFEFA39EF) #.(D #x-80000000 0)) NIL)
(< (#.(D #x43C921FB #x54442D18) #.(D #x43C921FB #x54442D18)) NIL)
(< (#.(D #x43CFFFFF #xE0000000) #.(S #x5E7FFFFF)) NIL)
@ -3277,6 +3297,8 @@
(<= (150 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (151 #.(S #x7F7FFFFF)) T)
(<= (151 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (152 #.(S #x7F7FFFFF)) T)
(<= (152 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (153 #.(S #x7F7FFFFF)) T)
(<= (153 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (154 #.(S #x7F7FFFFF)) T)
@ -3749,6 +3771,8 @@
(<= (#x3FFFFFFFFFC #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#x3FFFFFFFFFE #.(S #x7F7FFFFF)) T)
(<= (#x3FFFFFFFFFE #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#x3FFFFFFFFFF #.(S #x7F7FFFFF)) T)
(<= (#x3FFFFFFFFFF #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#x40000000000 #.(S #x7F7FFFFF)) T)
(<= (#x40000000000 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#x47FFFFFFFFD #.(S #x7F7FFFFF)) T)
@ -4441,6 +4465,7 @@
(<= (#.(S #x-800001) 144) T)
(<= (#.(S #x-800001) 150) T)
(<= (#.(S #x-800001) 151) T)
(<= (#.(S #x-800001) 152) T)
(<= (#.(S #x-800001) 153) T)
(<= (#.(S #x-800001) 154) T)
(<= (#.(S #x-800001) 155) T)
@ -4676,6 +4701,7 @@
(<= (#.(S #x-800001) #x20000000003) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFC) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFE) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFF) T)
(<= (#.(S #x-800001) #x40000000000) T)
(<= (#.(S #x-800001) #x47FFFFFFFFD) T)
(<= (#.(S #x-800001) #x6FFFFFFFFFC) T)
@ -4910,6 +4936,7 @@
(<= (#.(S #x-800001) #.(S #x43100000)) T)
(<= (#.(S #x-800001) #.(S #x43160000)) T)
(<= (#.(S #x-800001) #.(S #x43170000)) T)
(<= (#.(S #x-800001) #.(S #x43180000)) T)
(<= (#.(S #x-800001) #.(S #x43190000)) T)
(<= (#.(S #x-800001) #.(S #x431A0000)) T)
(<= (#.(S #x-800001) #.(S #x431B0000)) T)
@ -5442,9 +5469,11 @@
(<= (#.(S #x42040000) #.(S #x43160000)) T)
(<= (#.(S #x42040000) #.(S #x43170000)) T)
(<= (#.(S #x42040000) #.(S #x43190000)) T)
(<= (#.(S #x42040000) #.(S #x431A0000)) T)
(<= (#.(S #x42040000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x42080000) #.(S #x42040000)) NIL)
(<= (#.(S #x42080000) #.(S #x43170000)) T)
(<= (#.(S #x42080000) #.(S #x43180000)) T)
(<= (#.(S #x42080000) #.(S #x431A0000)) T)
(<= (#.(S #x42080000) #.(S #x431B0000)) T)
(<= (#.(S #x42080000) #.(S #x7F7FFFFF)) T)
@ -5503,6 +5532,8 @@
(<= (#.(S #x43160000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43170000) #.(S #x43170000)) T)
(<= (#.(S #x43170000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43180000) #.(S #x43180000)) T)
(<= (#.(S #x43180000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x43190000) #.(S #x43190000)) T)
(<= (#.(S #x43190000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x431A0000) #.(S #x42080000)) NIL)
@ -5703,6 +5734,7 @@
(<= (#.(S #x477FFD00) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x477FFF00) #.(S #x4F000000)) T)
(<= (#.(S #x477FFF00) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x47800000) #.(S #x5F000000)) T)
(<= (#.(S #x47800000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x4788E100) #.(S #x4788E180)) T)
(<= (#.(S #x4788E100) #.(S #x7F7FFFFF)) T)
@ -5834,6 +5866,7 @@
(<= (#.(S #x52000000) #.(S #x55800000)) T)
(<= (#.(S #x52000000) #.(S #x5E800000)) T)
(<= (#.(S #x52000000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x52317218) #.(S #x42265AF6)) NIL)
(<= (#.(S #x52317218) #.(S #x422BE687)) NIL)
(<= (#.(S #x52317218) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x52800000) #.(S #x56000000)) T)
@ -6518,6 +6551,7 @@
(<= (#.(D #x-100001 #xFFFFFFFF) 144) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 150) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 151) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 152) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 153) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 154) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 155) T)
@ -6753,6 +6787,7 @@
(<= (#.(D #x-100001 #xFFFFFFFF) #x20000000003) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFC) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFE) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFF) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x40000000000) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x47FFFFFFFFD) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x6FFFFFFFFFC) T)
@ -7037,6 +7072,7 @@
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40620000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4062C000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4062E000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40630000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40632000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40634000 0)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40636000 0)) T)
@ -7670,6 +7706,7 @@
(<= (#.(D #x404A8000 0) #.(D #x41BFFFFF #xE0000000)) T)
(<= (#.(D #x404C8000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x404D8000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x404E0000 0) #.(D #x424FFFFF #xFFFF8000)) T)
(<= (#.(D #x404E0000 0) #.(D #x43D00000 0)) T)
(<= (#.(D #x404E0000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x404E8000 0) #.(D #x40500000 0)) T)
@ -7719,6 +7756,8 @@
(<= (#.(D #x4062C000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x4062E000 0) #.(D #x4062E000 0)) T)
(<= (#.(D #x4062E000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x40630000 0) #.(D #x40630000 0)) T)
(<= (#.(D #x40630000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x40632000 0) #.(D #x40632000 0)) T)
(<= (#.(D #x40632000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x40634000 0) #.(D #x40410000 0)) NIL)
@ -7864,6 +7903,7 @@
(<= (#.(D #x40EFFFA0 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x40EFFFE0 0) #.(D #x41DFFFFF #xFFC00000)) T)
(<= (#.(D #x40EFFFE0 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x40F00000 0) #.(D #x43E00000 0)) T)
(<= (#.(D #x40F00000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x40F11C20 0) #.(D #x40F11C30 0)) T)
(<= (#.(D #x40F11C20 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -8037,6 +8077,7 @@
(<= (#.(D #x423FFFFF #xFFFF0000) #.(D #x42AFFFFF #xFFFFFE00)) T)
(<= (#.(D #x423FFFFF #xFFFF0000) #.(D #x43D00000 0)) T)
(<= (#.(D #x423FFFFF #xFFFF0000) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x42462E42 #xFEF9E136) #.(D #x4044CB5E #xCF0A9650)) NIL)
(<= (#.(D #x42462E42 #xFEF9E136) #.(D #x40457CD0 #xE7026821)) NIL)
(<= (#.(D #x42462E42 #xFEF9E136) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x424FFFFF #xFFFF0000) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -8444,6 +8485,7 @@
(<= (#.(S #x-800001) 144 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 150 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 151 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 152 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 153 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 154 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) 155 #.(S #x7F7FFFFF)) T)
@ -8685,6 +8727,7 @@
(<= (#.(S #x-800001) #x20000000003 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFC #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFE #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #x3FFFFFFFFFF #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #x40000000000 #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #x47FFFFFFFFD #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #x6FFFFFFFFFC #.(S #x7F7FFFFF)) T)
@ -8967,6 +9010,7 @@
(<= (#.(S #x-800001) #.(S #x43100000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43160000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43170000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43180000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x43190000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x431A0000) #.(S #x7F7FFFFF)) T)
(<= (#.(S #x-800001) #.(S #x431B0000) #.(S #x7F7FFFFF)) T)
@ -9373,6 +9417,7 @@
(<= (#.(D #x-100001 #xFFFFFFFF) 144 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 150 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 151 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 152 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 153 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 154 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) 155 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -9617,6 +9662,7 @@
(<= (#.(D #x-100001 #xFFFFFFFF) #x20000000003 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFC #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFE #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x3FFFFFFFFFF #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x40000000000 #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x47FFFFFFFFD #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #x6FFFFFFFFFC #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -9990,6 +10036,7 @@
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40620000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4062C000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x4062E000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40630000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40632000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40634000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
(<= (#.(D #x-100001 #xFFFFFFFF) #.(D #x40636000 0) #.(D #x7FEFFFFF #xFFFFFFFF)) T)
@ -12935,10 +12982,12 @@
(> (#.(S #x42040000) #.(S #x43160000)) NIL)
(> (#.(S #x42040000) #.(S #x43170000)) NIL)
(> (#.(S #x42040000) #.(S #x43190000)) NIL)
(> (#.(S #x42040000) #.(S #x431A0000)) NIL)
(> (#.(S #x42040000) #.(D #x40408000 0)) NIL)
(> (#.(S #x42080000) #.(S #x42040000)) T)
(> (#.(S #x42080000) #.(S #x42080000)) NIL)
(> (#.(S #x42080000) #.(S #x43170000)) NIL)
(> (#.(S #x42080000) #.(S #x43180000)) NIL)
(> (#.(S #x42080000) #.(S #x431A0000)) NIL)
(> (#.(S #x42080000) #.(S #x431B0000)) NIL)
(> (#.(S #x42080000) #.(D #x40410000 0)) NIL)
@ -13711,6 +13760,7 @@
(> (#.(D 0 0) #.(D #x427FFFFF #xFFFFF000)) NIL)
(> (#.(D 0 0) #.(D #x42800000 0)) NIL)
(> (#.(D 0 0) #.(D #x428FFFFF #xFFFFF000)) NIL)
(> (#.(D 0 0) #.(D #x428FFFFF #xFFFFF800)) NIL)
(> (#.(D 0 0) #.(D #x42900000 0)) NIL)
(> (#.(D 0 0) #.(D #x429FFFFF #xFFFFFC00)) NIL)
(> (#.(D 0 0) #.(D #x42A00000 0)) NIL)
@ -14068,11 +14118,13 @@
(> (#.(D #x40408000 0) #.(D #x4062C000 0)) NIL)
(> (#.(D #x40408000 0) #.(D #x4062E000 0)) NIL)
(> (#.(D #x40408000 0) #.(D #x40632000 0)) NIL)
(> (#.(D #x40408000 0) #.(D #x40634000 0)) NIL)
(> (#.(D #x40410000 0) 34) NIL)
(> (#.(D #x40410000 0) #.(S #x42080000)) NIL)
(> (#.(D #x40410000 0) #.(D #x40408000 0)) T)
(> (#.(D #x40410000 0) #.(D #x40410000 0)) NIL)
(> (#.(D #x40410000 0) #.(D #x4062E000 0)) NIL)
(> (#.(D #x40410000 0) #.(D #x40630000 0)) NIL)
(> (#.(D #x40410000 0) #.(D #x40634000 0)) NIL)
(> (#.(D #x40410000 0) #.(D #x40636000 0)) NIL)
(> (#.(D #x40418000 0) 35) NIL)
@ -14604,6 +14656,7 @@
(>= (#.(S #x-40800000) #.(S #x3DCCCCCD)) NIL)
(>= (#.(S #x-40800000) #.(S #x3F800000)) NIL)
(>= (#.(S #x-40800000) #.(S #x40000000)) NIL)
(>= (#.(S #x-40800000) #.(S #x47800000)) NIL)
(>= (#.(S #x-40800000) #.(S #x4B7FFFFF)) NIL)
(>= (#.(S #x-40800000) #.(S #x4E000000)) NIL)
(>= (#.(S #x-40800000) #.(S #x4F800000)) NIL)
@ -14755,6 +14808,7 @@
(>= (#.(S #x-21000000) #.(S #x-22800000)) NIL)
(>= (#.(S #x-21000000) #.(S #x-21800000)) NIL)
(>= (#.(S #x-21000000) #.(S 0)) NIL)
(>= (#.(S #x-21000000) #.(S #x47800000)) NIL)
(>= (#.(S #x-21000000) #.(S #x4F800000)) NIL)
(>= (#.(S #x-21000000) #.(S #x5F000000)) NIL)
(>= (#.(S #x-20600000) 0) NIL)
@ -15082,9 +15136,11 @@
(>= (#.(S #x42040000) #.(S #x43160000)) NIL)
(>= (#.(S #x42040000) #.(S #x43170000)) NIL)
(>= (#.(S #x42040000) #.(S #x43190000)) NIL)
(>= (#.(S #x42040000) #.(S #x431A0000)) NIL)
(>= (#.(S #x42040000) #.(S #x431B0000)) NIL)
(>= (#.(S #x42080000) #.(S #x42080000)) T)
(>= (#.(S #x42080000) #.(S #x43170000)) NIL)
(>= (#.(S #x42080000) #.(S #x43180000)) NIL)
(>= (#.(S #x42080000) #.(S #x431A0000)) NIL)
(>= (#.(S #x42080000) #.(S #x431B0000)) NIL)
(>= (#.(S #x420C0000) #.(S #x420C0000)) T)
@ -15114,7 +15170,9 @@
(>= (#.(S #x43160000) #.(S #x42040000)) T)
(>= (#.(S #x43170000) #.(S #x42040000)) T)
(>= (#.(S #x43170000) #.(S #x42080000)) T)
(>= (#.(S #x43180000) #.(S #x42080000)) T)
(>= (#.(S #x43190000) #.(S #x42040000)) T)
(>= (#.(S #x431A0000) #.(S #x42040000)) T)
(>= (#.(S #x431A0000) #.(S #x42080000)) T)
(>= (#.(S #x431A0000) #.(S #x420C0000)) T)
(>= (#.(S #x431B0000) #.(S #x42080000)) T)
@ -15353,6 +15411,7 @@
(>= (#.(D #x-40100000 0) #.(D 0 0)) NIL)
(>= (#.(D #x-40100000 0) #.(D #x3FF00000 0)) NIL)
(>= (#.(D #x-40100000 0) #.(D #x40000000 0)) NIL)
(>= (#.(D #x-40100000 0) #.(D #x40F00000 0)) NIL)
(>= (#.(D #x-40100000 0) #.(D #x41BFFFFF #xFA000000)) NIL)
(>= (#.(D #x-40100000 0) #.(D #x41BFFFFF #xFB000000)) NIL)
(>= (#.(D #x-40100000 0) #.(D #x41BFFFFF #xFC000000)) NIL)
@ -15577,6 +15636,7 @@
(>= (#.(D #x-3C200000 0) #.(D #x-3C300000 0)) NIL)
(>= (#.(D #x-3C200000 0) #.(D 0 0)) NIL)
(>= (#.(D #x-3C200000 0) #.(D #x3FF00000 0)) NIL)
(>= (#.(D #x-3C200000 0) #.(D #x40F00000 0)) NIL)
(>= (#.(D #x-3C200000 0) #.(D #x41F00000 0)) NIL)
(>= (#.(D #x-3C200000 0) #.(D #x43B00000 0)) NIL)
(>= (#.(D #x-3C200000 0) #.(D #x43D00000 0)) NIL)
@ -15988,6 +16048,7 @@
(>= (#.(D #x40240000 0) #.(D #x4130FFAF 0)) NIL)
(>= (#.(D #x40240000 0) #.(D #x4130FFC8 0)) NIL)
(>= (#.(D #x40260000 0) #.(D #x40240000 0)) T)
(>= (#.(D #x402E0000 0) 536870908) NIL)
(>= (#.(D #x402E0000 0) #x1FFFFFFFFF) NIL)
(>= (#.(D #x402E0000 0) #.(D 0 0)) T)
(>= (#.(D #x402E0000 0) #.(D #x3FF00000 0)) T)
@ -16039,15 +16100,19 @@
(>= (#.(D #x40408000 0) 150) NIL)
(>= (#.(D #x40408000 0) 151) NIL)
(>= (#.(D #x40408000 0) 153) NIL)
(>= (#.(D #x40408000 0) 154) NIL)
(>= (#.(D #x40408000 0) #.(D #x40408000 0)) T)
(>= (#.(D #x40408000 0) #.(D #x40410000 0)) NIL)
(>= (#.(D #x40408000 0) #.(D #x4062C000 0)) NIL)
(>= (#.(D #x40408000 0) #.(D #x4062E000 0)) NIL)
(>= (#.(D #x40408000 0) #.(D #x40632000 0)) NIL)
(>= (#.(D #x40408000 0) #.(D #x40634000 0)) NIL)
(>= (#.(D #x40408000 0) #.(D #x40636000 0)) NIL)
(>= (#.(D #x40410000 0) 151) NIL)
(>= (#.(D #x40410000 0) 152) NIL)
(>= (#.(D #x40410000 0) #.(D #x40410000 0)) T)
(>= (#.(D #x40410000 0) #.(D #x4062E000 0)) NIL)
(>= (#.(D #x40410000 0) #.(D #x40630000 0)) NIL)
(>= (#.(D #x40410000 0) #.(D #x40634000 0)) NIL)
(>= (#.(D #x40410000 0) #.(D #x40636000 0)) NIL)
(>= (#.(D #x40418000 0) 154) NIL)
@ -16085,7 +16150,9 @@
(>= (#.(D #x4062C000 0) #.(D #x40408000 0)) T)
(>= (#.(D #x4062E000 0) #.(D #x40408000 0)) T)
(>= (#.(D #x4062E000 0) #.(D #x40410000 0)) T)
(>= (#.(D #x40630000 0) #.(D #x40410000 0)) T)
(>= (#.(D #x40632000 0) #.(D #x40408000 0)) T)
(>= (#.(D #x40634000 0) #.(D #x40408000 0)) T)
(>= (#.(D #x40634000 0) #.(D #x40410000 0)) T)
(>= (#.(D #x40634000 0) #.(D #x40418000 0)) T)
(>= (#.(D #x40636000 0) #.(D #x40410000 0)) T)
@ -16814,6 +16881,8 @@
(COERCE (150 SINGLE-FLOAT) #.(S #x43160000))
(COERCE (151 DOUBLE-FLOAT) #.(D #x4062E000 0))
(COERCE (151 SINGLE-FLOAT) #.(S #x43170000))
(COERCE (152 DOUBLE-FLOAT) #.(D #x40630000 0))
(COERCE (152 SINGLE-FLOAT) #.(S #x43180000))
(COERCE (153 DOUBLE-FLOAT) #.(D #x40632000 0))
(COERCE (153 SINGLE-FLOAT) #.(S #x43190000))
(COERCE (154 DOUBLE-FLOAT) #.(D #x40634000 0))
@ -17321,6 +17390,8 @@
(COERCE (#x3FFFFFFFFFC SINGLE-FLOAT) #.(S #x54800000))
(COERCE (#x3FFFFFFFFFE DOUBLE-FLOAT) #.(D #x428FFFFF #xFFFFF000))
(COERCE (#x3FFFFFFFFFE SINGLE-FLOAT) #.(S #x54800000))
(COERCE (#x3FFFFFFFFFF DOUBLE-FLOAT) #.(D #x428FFFFF #xFFFFF800))
(COERCE (#x3FFFFFFFFFF SINGLE-FLOAT) #.(S #x54800000))
(COERCE (#x40000000000 DOUBLE-FLOAT) #.(D #x42900000 0))
(COERCE (#x40000000000 SINGLE-FLOAT) #.(S #x54800000))
(COERCE (#x47FFFFFFFFD DOUBLE-FLOAT) #.(D #x4291FFFF #xFFFFF400))