-
Notifications
You must be signed in to change notification settings - Fork 0
/
float-math.lisp-expr
4456 lines (4455 loc) · 364 KB
/
float-math.lisp-expr
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
;;; This file is machine-generated. DO NOT EDIT
:DEFAULT
(
(* (#x0 #.(MAKE-SINGLE-FLOAT #x-80000000)) #.(MAKE-SINGLE-FLOAT #x-80000000))
(* (#x0 #.(MAKE-SINGLE-FLOAT #x0)) #.(MAKE-SINGLE-FLOAT #x0))
(* (#x0 #.(MAKE-SINGLE-FLOAT #x358637BD)) #.(MAKE-SINGLE-FLOAT #x0))
(* (#x0 #.(MAKE-SINGLE-FLOAT #x3A83126F)) #.(MAKE-SINGLE-FLOAT #x0))
(* (#x0 #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x0))
(* (#x0 #.(MAKE-SINGLE-FLOAT #x4E000000)) #.(MAKE-SINGLE-FLOAT #x0))
(* (#x0 #.(MAKE-SINGLE-FLOAT #x4E6E6B28)) #.(MAKE-SINGLE-FLOAT #x0))
(* (#x0 #.(MAKE-SINGLE-FLOAT #x5D800000)) #.(MAKE-SINGLE-FLOAT #x0))
(* (#x0 #.(MAKE-SINGLE-FLOAT #x5E800000)) #.(MAKE-SINGLE-FLOAT #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x3FD00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x3FD34413 #x509F79FE)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x3FD34413 #x509F79FF)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x3FE00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x3FE62E42 #xFEFA39EF)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x3FFB504F #x333F9DE6)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x40100000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x40240000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x41C00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x41C00000 #x800000)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x41CDCD65 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x4341C379 #x37E08000)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x0 #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x1 #.(MAKE-SINGLE-FLOAT #x0)) #.(MAKE-SINGLE-FLOAT #x0))
(* (#x1 #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x3F800000))
(* (#x1 #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#x1 #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0))
(* (#x3FF #.(MAKE-DOUBLE-FLOAT #x3FE62E42 #xFEFA39EF)) #.(MAKE-DOUBLE-FLOAT #x408628B7 #x6E3A7B61))
(* (#x400 #.(MAKE-DOUBLE-FLOAT #x3FD34413 #x509F79FF)) #.(MAKE-DOUBLE-FLOAT #x40734413 #x509F79FF))
(* (#x432 #.(MAKE-DOUBLE-FLOAT #x3FD34413 #x509F79FF)) #.(MAKE-DOUBLE-FLOAT #x407434E6 #x420F4374))
(* (#x433 #.(MAKE-DOUBLE-FLOAT #x3FE62E42 #xFEFA39EF)) #.(MAKE-DOUBLE-FLOAT #x40874910 #xD52D3052))
(* (#x1FFFFFFF #.(MAKE-SINGLE-FLOAT #x40490FDB)) #.(MAKE-SINGLE-FLOAT #x4EC90FDB))
(* (#x1FFFFFFF #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x41D921FB #x537B1D3D))
(* (#x20000000 #.(MAKE-SINGLE-FLOAT #x40490FDB)) #.(MAKE-SINGLE-FLOAT #x4EC90FDB))
(* (#x20000000 #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x41D921FB #x54442D18))
(* (#xFFFFFFFFFFFFFFF #.(MAKE-SINGLE-FLOAT #x40490FDB)) #.(MAKE-SINGLE-FLOAT #x5E490FDB))
(* (#xFFFFFFFFFFFFFFF #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x43C921FB #x54442D18))
(* (#x1000000000000000 #.(MAKE-SINGLE-FLOAT #x40490FDB)) #.(MAKE-SINGLE-FLOAT #x5E490FDB))
(* (#x1000000000000000 #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x43C921FB #x54442D18))
(* (#x3FFFFFFFFFFFFFFF #.(MAKE-SINGLE-FLOAT #x40490FDB)) #.(MAKE-SINGLE-FLOAT #x5F490FDB))
(* (#x3FFFFFFFFFFFFFFF #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x43E921FB #x54442D18))
(* (#x4000000000000000 #.(MAKE-SINGLE-FLOAT #x40490FDB)) #.(MAKE-SINGLE-FLOAT #x5F490FDB))
(* (#x4000000000000000 #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x43E921FB #x54442D18))
(* (#.(MAKE-SINGLE-FLOAT #x-80000000) #x0) #.(MAKE-SINGLE-FLOAT #x-80000000))
(* (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x-80000000)) #.(MAKE-SINGLE-FLOAT #x0))
(* (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x-80000000))
(* (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0))
(* (#.(MAKE-SINGLE-FLOAT #x0) #x0) #.(MAKE-SINGLE-FLOAT #x0))
(* (#.(MAKE-SINGLE-FLOAT #x0) #x1) #.(MAKE-SINGLE-FLOAT #x0))
(* (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x0)) #.(MAKE-SINGLE-FLOAT #x0))
(* (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x0))
(* (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-SINGLE-FLOAT #x3F800000) #x0) #.(MAKE-SINGLE-FLOAT #x0))
(* (#.(MAKE-SINGLE-FLOAT #x3F800000) #x1) #.(MAKE-SINGLE-FLOAT #x3F800000))
(* (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x-80000000)) #.(MAKE-SINGLE-FLOAT #x-80000000))
(* (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x0)) #.(MAKE-SINGLE-FLOAT #x0))
(* (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x358637BD)) #.(MAKE-SINGLE-FLOAT #x358637BD))
(* (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x3A83126F)) #.(MAKE-SINGLE-FLOAT #x3A83126F))
(* (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x3F800000))
(* (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0))
(* (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0))
(* (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x4E6E6B28)) #.(MAKE-SINGLE-FLOAT #x5CEE6B27))
(* (#.(MAKE-SINGLE-FLOAT #x4E000000) #x0) #.(MAKE-SINGLE-FLOAT #x0))
(* (#.(MAKE-SINGLE-FLOAT #x4E000000) #.(MAKE-SINGLE-FLOAT #x40490FDB)) #.(MAKE-SINGLE-FLOAT #x4EC90FDB))
(* (#.(MAKE-SINGLE-FLOAT #x4E000000) #.(MAKE-SINGLE-FLOAT #x4E6E6B28)) #.(MAKE-SINGLE-FLOAT #x5CEE6B28))
(* (#.(MAKE-SINGLE-FLOAT #x538637BD) #xF4240) #.(MAKE-SINGLE-FLOAT #x5D800000))
(* (#.(MAKE-SINGLE-FLOAT #x538637BD) #.(MAKE-SINGLE-FLOAT #x49742400)) #.(MAKE-SINGLE-FLOAT #x5D800000))
(* (#.(MAKE-SINGLE-FLOAT #x5883126F) #x3E8) #.(MAKE-SINGLE-FLOAT #x5D800000))
(* (#.(MAKE-SINGLE-FLOAT #x5883126F) #.(MAKE-SINGLE-FLOAT #x447A0000)) #.(MAKE-SINGLE-FLOAT #x5D800000))
(* (#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) #.(MAKE-SINGLE-FLOAT #x4E6E6B28)) #.(MAKE-SINGLE-FLOAT #x6C6E6B27))
(* (#.(MAKE-SINGLE-FLOAT #x5D800000) #x0) #.(MAKE-SINGLE-FLOAT #x0))
(* (#.(MAKE-SINGLE-FLOAT #x5D800000) #.(MAKE-SINGLE-FLOAT #x40490FDB)) #.(MAKE-SINGLE-FLOAT #x5E490FDB))
(* (#.(MAKE-SINGLE-FLOAT #x5D800000) #.(MAKE-SINGLE-FLOAT #x4E6E6B28)) #.(MAKE-SINGLE-FLOAT #x6C6E6B28))
(* (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) #.(MAKE-SINGLE-FLOAT #x4E6E6B28)) #.(MAKE-SINGLE-FLOAT #x6D6E6B27))
(* (#.(MAKE-SINGLE-FLOAT #x5E800000) #x0) #.(MAKE-SINGLE-FLOAT #x0))
(* (#.(MAKE-SINGLE-FLOAT #x5E800000) #.(MAKE-SINGLE-FLOAT #x40490FDB)) #.(MAKE-SINGLE-FLOAT #x5F490FDB))
(* (#.(MAKE-SINGLE-FLOAT #x5E800000) #.(MAKE-SINGLE-FLOAT #x4E6E6B28)) #.(MAKE-SINGLE-FLOAT #x6D6E6B28))
(* (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #x0) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-SINGLE-FLOAT #x-80000000)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #x1) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-SINGLE-FLOAT #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x20100000 #x1) #.(MAKE-DOUBLE-FLOAT #x20100000 #x1)) #.(MAKE-DOUBLE-FLOAT #x300000 #x2))
(* (#.(MAKE-DOUBLE-FLOAT #x20100000 #x1) #.(MAKE-DOUBLE-FLOAT #x3FE00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x20000000 #x1))
(* (#.(MAKE-DOUBLE-FLOAT #x3FD00000 #x0) #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x3FE00000 #x0) #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x3FE00000 #x0) #.(MAKE-DOUBLE-FLOAT #x20100000 #x1)) #.(MAKE-DOUBLE-FLOAT #x20000000 #x1))
(* (#.(MAKE-DOUBLE-FLOAT #x3FE00000 #x0) #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18))
(* (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #x1) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-SINGLE-FLOAT #x-80000000)) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-SINGLE-FLOAT #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18))
(* (#.(MAKE-DOUBLE-FLOAT #x40000000 #x0) #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x40100000 #x0) #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x408FF800 #x0) #.(MAKE-DOUBLE-FLOAT #x3FE62E42 #xFEFA39EF)) #.(MAKE-DOUBLE-FLOAT #x408628B7 #x6E3A7B61))
(* (#.(MAKE-DOUBLE-FLOAT #x40900000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FD34413 #x509F79FF)) #.(MAKE-DOUBLE-FLOAT #x40734413 #x509F79FF))
(* (#.(MAKE-DOUBLE-FLOAT #x40907000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FD34413 #x509F79FE)) #.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3D654))
(* (#.(MAKE-DOUBLE-FLOAT #x4090C800 #x0) #.(MAKE-DOUBLE-FLOAT #x3FD34413 #x509F79FF)) #.(MAKE-DOUBLE-FLOAT #x407434E6 #x420F4374))
(* (#.(MAKE-DOUBLE-FLOAT #x4090CC00 #x0) #.(MAKE-DOUBLE-FLOAT #x3FE62E42 #xFEFA39EF)) #.(MAKE-DOUBLE-FLOAT #x40874910 #xD52D3052))
(* (#.(MAKE-DOUBLE-FLOAT #x40927400 #x0) #.(MAKE-DOUBLE-FLOAT #x3FD34413 #x509F79FE)) #.(MAKE-DOUBLE-FLOAT #x40763843 #x46BBED72))
(* (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000) #.(MAKE-SINGLE-FLOAT #x4E6E6B28)) #.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8))
(* (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000) #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x41D921FB #x537B1D3D))
(* (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000) #.(MAKE-DOUBLE-FLOAT #x41CDCD65 #x0)) #.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8))
(* (#.(MAKE-DOUBLE-FLOAT #x41C00000 #x0) #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x41C00000 #x0) #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x41D921FB #x54442D18))
(* (#.(MAKE-DOUBLE-FLOAT #x41C00000 #x800000) #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x4270C6F7 #xA0B5E000) #xF4240) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFE627))
(* (#.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8) #x3E8) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFF8))
(* (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x41CDCD65 #x0)) #.(MAKE-DOUBLE-FLOAT #x458DCD64 #xFFFFFFFF))
(* (#.(MAKE-DOUBLE-FLOAT #x43B00000 #x0) #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x43B00000 #x0) #.(MAKE-SINGLE-FLOAT #x4E6E6B28)) #.(MAKE-DOUBLE-FLOAT #x458DCD65 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x43B00000 #x0) #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x43C921FB #x54442D18))
(* (#.(MAKE-DOUBLE-FLOAT #x43B00000 #x0) #.(MAKE-DOUBLE-FLOAT #x41CDCD65 #x0)) #.(MAKE-DOUBLE-FLOAT #x458DCD65 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x41CDCD65 #x0)) #.(MAKE-DOUBLE-FLOAT #x45ADCD64 #xFFFFFFFF))
(* (#.(MAKE-DOUBLE-FLOAT #x43D00000 #x0) #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x43D00000 #x0) #.(MAKE-SINGLE-FLOAT #x4E6E6B28)) #.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x43D00000 #x0) #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x43E921FB #x54442D18))
(* (#.(MAKE-DOUBLE-FLOAT #x43D00000 #x0) #.(MAKE-DOUBLE-FLOAT #x41CDCD65 #x0)) #.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x0))
(* (#.(MAKE-DOUBLE-FLOAT #x5FCFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x40100000 #x0)) #.(MAKE-DOUBLE-FLOAT #x5FEFFFFF #xFFFFFFFF))
(* (#.(MAKE-DOUBLE-FLOAT #x5FCFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x5FCFFFFF #xFFFFFFFF)) #.(MAKE-DOUBLE-FLOAT #x7FAFFFFF #xFFFFFFFE))
(+ (#x0 #.(MAKE-SINGLE-FLOAT #x0)) #.(MAKE-SINGLE-FLOAT #x0))
(+ (#x0 #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(+ (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x-31800000)) #.(MAKE-SINGLE-FLOAT #x-31400000))
(+ (#.(MAKE-SINGLE-FLOAT #x-31800000) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x-31800000))
(+ (#.(MAKE-SINGLE-FLOAT #x-22000000) #x1) #.(MAKE-SINGLE-FLOAT #x-22000000))
(+ (#.(MAKE-SINGLE-FLOAT #x-22000000) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x-22000000))
(+ (#.(MAKE-SINGLE-FLOAT #x-21000000) #x1) #.(MAKE-SINGLE-FLOAT #x-21000000))
(+ (#.(MAKE-SINGLE-FLOAT #x-21000000) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x-21000000))
(+ (#.(MAKE-SINGLE-FLOAT #x0) #x0) #.(MAKE-SINGLE-FLOAT #x0))
(+ (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x0)) #.(MAKE-SINGLE-FLOAT #x0))
(+ (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(+ (#.(MAKE-SINGLE-FLOAT #x3F800000) #x1) #.(MAKE-SINGLE-FLOAT #x40000000))
(+ (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x4E800000)) #.(MAKE-SINGLE-FLOAT #x4EC00000))
(+ (#.(MAKE-SINGLE-FLOAT #x4E800000) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x4E800000))
(+ (#.(MAKE-SINGLE-FLOAT #x540637BD) #.(MAKE-SINGLE-FLOAT #x3F7FFFEF)) #.(MAKE-SINGLE-FLOAT #x540637BD))
(+ (#.(MAKE-SINGLE-FLOAT #x5903126F) #.(MAKE-SINGLE-FLOAT #x3F7FFFEF)) #.(MAKE-SINGLE-FLOAT #x5903126F))
(+ (#.(MAKE-SINGLE-FLOAT #x5E000000) #x1) #.(MAKE-SINGLE-FLOAT #x5E000000))
(+ (#.(MAKE-SINGLE-FLOAT #x5E000000) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x5E000000))
(+ (#.(MAKE-SINGLE-FLOAT #x5F000000) #x1) #.(MAKE-SINGLE-FLOAT #x5F000000))
(+ (#.(MAKE-SINGLE-FLOAT #x5F000000) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x5F000000))
(+ (#.(MAKE-DOUBLE-FLOAT #x-4006DE05 #x54442D18) #.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x-3F8BCB1A #x420F4374) #.(MAKE-DOUBLE-FLOAT #x-3F7C458D #x2107A1BA)) #.(MAKE-DOUBLE-FLOAT #x-3F722B1A #x420F4374))
(+ (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3E300001 #xFF800000)) #.(MAKE-DOUBLE-FLOAT #x-3E280001 #xFFC00000))
(+ (#.(MAKE-DOUBLE-FLOAT #x-3E300001 #xFF800000) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3E300001 #xFF000000))
(+ (#.(MAKE-DOUBLE-FLOAT #x-3C400000 #x0) #x1) #.(MAKE-DOUBLE-FLOAT #x-3C400000 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x-3C400000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3C400000 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x-3C200000 #x0) #x1) #.(MAKE-DOUBLE-FLOAT #x-3C200000 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x-3C200000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3C200000 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-SINGLE-FLOAT #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x300000 #x2)) #.(MAKE-DOUBLE-FLOAT #x300000 #x2))
(+ (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x20100000 #x1)) #.(MAKE-DOUBLE-FLOAT #x20100000 #x1))
(+ (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x40100000 #x0)) #.(MAKE-DOUBLE-FLOAT #x40100000 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x3FE6A09E #x667F3BCD) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x3FFB504F #x333F9DE6))
(+ (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x-4006DE05 #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18))
(+ (#.(MAKE-DOUBLE-FLOAT #x40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x40100000 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x40734413 #x509F79FF) #.(MAKE-DOUBLE-FLOAT #x4083BA09 #xA84FBD00)) #.(MAKE-DOUBLE-FLOAT #x408D5C13 #x509F7A00))
(+ (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x41D00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x41D80000 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x41D00000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x41D00000 #x400000))
(+ (#.(MAKE-DOUBLE-FLOAT #x43C00000 #x0) #x1) #.(MAKE-DOUBLE-FLOAT #x43C00000 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x43C00000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x43C00000 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x43E00000 #x0) #x1) #.(MAKE-DOUBLE-FLOAT #x43E00000 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x43E00000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x43E00000 #x0))
(+ (#.(MAKE-DOUBLE-FLOAT #x5FCFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x5FCFFFFF #xFFFFFFFF))
(- (#.(MAKE-SINGLE-FLOAT #x-80000000)) #.(MAKE-SINGLE-FLOAT #x0))
(- (#.(MAKE-SINGLE-FLOAT #x-40800000)) #.(MAKE-SINGLE-FLOAT #x3F800000))
(- (#.(MAKE-SINGLE-FLOAT #x-3FB6F025)) #.(MAKE-SINGLE-FLOAT #x40490FDB))
(- (#.(MAKE-SINGLE-FLOAT #x-32000001)) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF))
(- (#.(MAKE-SINGLE-FLOAT #x-32000000)) #.(MAKE-SINGLE-FLOAT #x4E000000))
(- (#.(MAKE-SINGLE-FLOAT #x-31800000)) #.(MAKE-SINGLE-FLOAT #x4E800000))
(- (#.(MAKE-SINGLE-FLOAT #x-3136F025)) #.(MAKE-SINGLE-FLOAT #x4EC90FDB))
(- (#.(MAKE-SINGLE-FLOAT #x-22800001)) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF))
(- (#.(MAKE-SINGLE-FLOAT #x-22800000)) #.(MAKE-SINGLE-FLOAT #x5D800000))
(- (#.(MAKE-SINGLE-FLOAT #x-21B6F025)) #.(MAKE-SINGLE-FLOAT #x5E490FDB))
(- (#.(MAKE-SINGLE-FLOAT #x-21800001)) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF))
(- (#.(MAKE-SINGLE-FLOAT #x-21800000)) #.(MAKE-SINGLE-FLOAT #x5E800000))
(- (#.(MAKE-SINGLE-FLOAT #x-20B6F025)) #.(MAKE-SINGLE-FLOAT #x5F490FDB))
(- (#.(MAKE-SINGLE-FLOAT #x-800000)) #.(MAKE-SINGLE-FLOAT #x7F800000))
(- (#.(MAKE-SINGLE-FLOAT #x0)) #.(MAKE-SINGLE-FLOAT #x-80000000))
(- (#.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x-40800000))
(- (#.(MAKE-SINGLE-FLOAT #x4E000000)) #.(MAKE-SINGLE-FLOAT #x-32000000))
(- (#.(MAKE-SINGLE-FLOAT #x4E6E6B28)) #.(MAKE-SINGLE-FLOAT #x-319194D8))
(- (#.(MAKE-SINGLE-FLOAT #x4EC90FDB)) #.(MAKE-SINGLE-FLOAT #x-3136F025))
(- (#.(MAKE-SINGLE-FLOAT #x5CEE6B27)) #.(MAKE-SINGLE-FLOAT #x-231194D9))
(- (#.(MAKE-SINGLE-FLOAT #x5CEE6B28)) #.(MAKE-SINGLE-FLOAT #x-231194D8))
(- (#.(MAKE-SINGLE-FLOAT #x5D800000)) #.(MAKE-SINGLE-FLOAT #x-22800000))
(- (#.(MAKE-SINGLE-FLOAT #x5E490FDB)) #.(MAKE-SINGLE-FLOAT #x-21B6F025))
(- (#.(MAKE-SINGLE-FLOAT #x5E800000)) #.(MAKE-SINGLE-FLOAT #x-21800000))
(- (#.(MAKE-SINGLE-FLOAT #x5F000000)) #.(MAKE-SINGLE-FLOAT #x-21000000))
(- (#.(MAKE-SINGLE-FLOAT #x5F490FDB)) #.(MAKE-SINGLE-FLOAT #x-20B6F025))
(- (#.(MAKE-SINGLE-FLOAT #x6C6E6B27)) #.(MAKE-SINGLE-FLOAT #x-139194D9))
(- (#.(MAKE-SINGLE-FLOAT #x6C6E6B28)) #.(MAKE-SINGLE-FLOAT #x-139194D8))
(- (#.(MAKE-SINGLE-FLOAT #x6D6E6B27)) #.(MAKE-SINGLE-FLOAT #x-129194D9))
(- (#.(MAKE-SINGLE-FLOAT #x6D6E6B28)) #.(MAKE-SINGLE-FLOAT #x-129194D8))
(- (#.(MAKE-SINGLE-FLOAT #x7F800000)) #.(MAKE-SINGLE-FLOAT #x-800000))
(- (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x-402D413D #x33018866)) #.(MAKE-DOUBLE-FLOAT #x3FD2BEC3 #x33018866))
(- (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0)) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x-4006DE05 #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18))
(- (#.(MAKE-DOUBLE-FLOAT #x-3FF6DE05 #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18))
(- (#.(MAKE-DOUBLE-FLOAT #x-3F7C458D #x2107A1BA)) #.(MAKE-DOUBLE-FLOAT #x4083BA73 #x2107A1BA))
(- (#.(MAKE-DOUBLE-FLOAT #x-3F6F3800 #x0)) #.(MAKE-DOUBLE-FLOAT #x4090C800 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x-3F6F3400 #x0)) #.(MAKE-DOUBLE-FLOAT #x4090CC00 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x-3F6D8C00 #x0)) #.(MAKE-DOUBLE-FLOAT #x40927400 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x-3E400001 #xFF000000)) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000))
(- (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) #.(MAKE-DOUBLE-FLOAT #x41C00000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x800000)) #.(MAKE-DOUBLE-FLOAT #x41C00000 #x800000))
(- (#.(MAKE-DOUBLE-FLOAT #x-3E300001 #xFF800000)) #.(MAKE-DOUBLE-FLOAT #x41CFFFFF #xFF800000))
(- (#.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x41D921FB #x54442D18))
(- (#.(MAKE-DOUBLE-FLOAT #x-3C500001 #xFFFFFFFF)) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF))
(- (#.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x-3C36DE05 #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x43C921FB #x54442D18))
(- (#.(MAKE-DOUBLE-FLOAT #x-3C300001 #xFFFFFFFF)) #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF))
(- (#.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x-3C16DE05 #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x43E921FB #x54442D18))
(- (#.(MAKE-DOUBLE-FLOAT #x-20300001 #xFFFFFFFF)) #.(MAKE-DOUBLE-FLOAT #x5FCFFFFF #xFFFFFFFF))
(- (#.(MAKE-DOUBLE-FLOAT #x-100000 #x0)) #.(MAKE-DOUBLE-FLOAT #x7FF00000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-40100000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x-4006DE05 #x54442D18))
(- (#.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x-3FF6DE05 #x54442D18))
(- (#.(MAKE-DOUBLE-FLOAT #x407434E6 #x420F4374)) #.(MAKE-DOUBLE-FLOAT #x-3F8BCB1A #x420F4374))
(- (#.(MAKE-DOUBLE-FLOAT #x40763843 #x46BBED72)) #.(MAKE-DOUBLE-FLOAT #x-3F89C7BD #x46BBED72))
(- (#.(MAKE-DOUBLE-FLOAT #x40874910 #xD52D3052)) #.(MAKE-DOUBLE-FLOAT #x-3F78B6F0 #xD52D3052))
(- (#.(MAKE-DOUBLE-FLOAT #x41C00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x41D921FB #x537B1D3D)) #.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x537B1D3D))
(- (#.(MAKE-DOUBLE-FLOAT #x41D921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x54442D18))
(- (#.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8)) #.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8))
(- (#.(MAKE-DOUBLE-FLOAT #x43B00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x43C921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x-3C36DE05 #x54442D18))
(- (#.(MAKE-DOUBLE-FLOAT #x43D00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x43E00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3C200000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x43E921FB #x54442D18)) #.(MAKE-DOUBLE-FLOAT #x-3C16DE05 #x54442D18))
(- (#.(MAKE-DOUBLE-FLOAT #x458DCD64 #xFFFFFFFF)) #.(MAKE-DOUBLE-FLOAT #x-3A72329C #xFFFFFFFF))
(- (#.(MAKE-DOUBLE-FLOAT #x458DCD65 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3A72329B #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x45ADCD64 #xFFFFFFFF)) #.(MAKE-DOUBLE-FLOAT #x-3A52329C #xFFFFFFFF))
(- (#.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3A52329B #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x7FAFFFFF #xFFFFFFFE)) #.(MAKE-DOUBLE-FLOAT #x-500001 #xFFFFFFFE))
(- (#.(MAKE-DOUBLE-FLOAT #x7FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-100000 #x0))
(- (#.(MAKE-SINGLE-FLOAT #x-32000000) #x1FFFFFE0) #.(MAKE-SINGLE-FLOAT #x-31800000))
(- (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) #.(MAKE-SINGLE-FLOAT #x-31800000))
(- (#.(MAKE-SINGLE-FLOAT #x-31400000) #.(MAKE-SINGLE-FLOAT #x4E000000)) #.(MAKE-SINGLE-FLOAT #x-31000000))
(- (#.(MAKE-SINGLE-FLOAT #x-231194D8) #.(MAKE-SINGLE-FLOAT #x4E000000)) #.(MAKE-SINGLE-FLOAT #x-231194D8))
(- (#.(MAKE-SINGLE-FLOAT #x-22800000) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF)) #.(MAKE-SINGLE-FLOAT #x-22000000))
(- (#.(MAKE-SINGLE-FLOAT #x-21800000) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF)) #.(MAKE-SINGLE-FLOAT #x-21000000))
(- (#.(MAKE-SINGLE-FLOAT #x-139194D8) #.(MAKE-SINGLE-FLOAT #x5D800000)) #.(MAKE-SINGLE-FLOAT #x-139194D8))
(- (#.(MAKE-SINGLE-FLOAT #x-129194D8) #.(MAKE-SINGLE-FLOAT #x5E800000)) #.(MAKE-SINGLE-FLOAT #x-129194D8))
(- (#.(MAKE-SINGLE-FLOAT #x0) #x64) #.(MAKE-SINGLE-FLOAT #x-3D380000))
(- (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) #.(MAKE-SINGLE-FLOAT #x-32000001))
(- (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x4E000000)) #.(MAKE-SINGLE-FLOAT #x-32000000))
(- (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF)) #.(MAKE-SINGLE-FLOAT #x-22800001))
(- (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x5D800000)) #.(MAKE-SINGLE-FLOAT #x-22800000))
(- (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF)) #.(MAKE-SINGLE-FLOAT #x-21800001))
(- (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x5E800000)) #.(MAKE-SINGLE-FLOAT #x-21800000))
(- (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x4E000000)) #.(MAKE-SINGLE-FLOAT #x-32000000))
(- (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x5D800000)) #.(MAKE-SINGLE-FLOAT #x-22800000))
(- (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x5E800000)) #.(MAKE-SINGLE-FLOAT #x-21800000))
(- (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #x-20000000) #.(MAKE-SINGLE-FLOAT #x4E800000))
(- (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x-32000000)) #.(MAKE-SINGLE-FLOAT #x4E800000))
(- (#.(MAKE-SINGLE-FLOAT #x4E000000) #.(MAKE-SINGLE-FLOAT #x0)) #.(MAKE-SINGLE-FLOAT #x4E000000))
(- (#.(MAKE-SINGLE-FLOAT #x4EC00000) #.(MAKE-SINGLE-FLOAT #x-32000000)) #.(MAKE-SINGLE-FLOAT #x4F000000))
(- (#.(MAKE-SINGLE-FLOAT #x5CEE6B28) #.(MAKE-SINGLE-FLOAT #x-32000000)) #.(MAKE-SINGLE-FLOAT #x5CEE6B28))
(- (#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) #.(MAKE-SINGLE-FLOAT #x-22800000)) #.(MAKE-SINGLE-FLOAT #x5E000000))
(- (#.(MAKE-SINGLE-FLOAT #x5D800000) #.(MAKE-SINGLE-FLOAT #x0)) #.(MAKE-SINGLE-FLOAT #x5D800000))
(- (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) #.(MAKE-SINGLE-FLOAT #x-21800000)) #.(MAKE-SINGLE-FLOAT #x5F000000))
(- (#.(MAKE-SINGLE-FLOAT #x5E800000) #.(MAKE-SINGLE-FLOAT #x0)) #.(MAKE-SINGLE-FLOAT #x5E800000))
(- (#.(MAKE-SINGLE-FLOAT #x6C6E6B28) #.(MAKE-SINGLE-FLOAT #x-22800000)) #.(MAKE-SINGLE-FLOAT #x6C6E6B28))
(- (#.(MAKE-SINGLE-FLOAT #x6D6E6B28) #.(MAKE-SINGLE-FLOAT #x-21800000)) #.(MAKE-SINGLE-FLOAT #x6D6E6B28))
(- (#.(MAKE-DOUBLE-FLOAT #x-3F8BCB1A #x420F4374) #x134) #.(MAKE-DOUBLE-FLOAT #x-3F7C458D #x2107A1BA))
(- (#.(MAKE-DOUBLE-FLOAT #x-3F8BCB1A #x420F4374) #.(MAKE-DOUBLE-FLOAT #x40734000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3F7C458D #x2107A1BA))
(- (#.(MAKE-DOUBLE-FLOAT #x-3F89C7BD #x46BBED72) #.(MAKE-DOUBLE-FLOAT #x3DDB7CDF #xE0000000)) #.(MAKE-DOUBLE-FLOAT #x-3F89C7BD #x46BBF451))
(- (#.(MAKE-DOUBLE-FLOAT #x-3F89C7BD #x46BBF451) #.(MAKE-DOUBLE-FLOAT #x4073C000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3F7B03DF #xA35DFA28))
(- (#.(MAKE-DOUBLE-FLOAT #x-3F722B1A #x420F4374) #.(MAKE-DOUBLE-FLOAT #x408D5800 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3F62698D #x2107A1BA))
(- (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0) #x1FFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3E300001 #xFF800000))
(- (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000)) #.(MAKE-DOUBLE-FLOAT #x-3E300001 #xFF800000))
(- (#.(MAKE-DOUBLE-FLOAT #x-3E280001 #xFFC00000) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000)) #.(MAKE-DOUBLE-FLOAT #x-3E200001 #xFF800000))
(- (#.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000)) #.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF9194D8))
(- (#.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF)) #.(MAKE-DOUBLE-FLOAT #x-3C400000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0) #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF)) #.(MAKE-DOUBLE-FLOAT #x-3C200000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x-3A72329B #x0) #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3A72329B #x800000))
(- (#.(MAKE-DOUBLE-FLOAT #x-3A52329B #x0) #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3A52329B #x800000))
(- (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #x64) #.(MAKE-DOUBLE-FLOAT #x-3FA70000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-40100000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000)) #.(MAKE-DOUBLE-FLOAT #x-3E400001 #xFF000000))
(- (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF)) #.(MAKE-DOUBLE-FLOAT #x-3C500001 #xFFFFFFFF))
(- (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF)) #.(MAKE-DOUBLE-FLOAT #x-3C300001 #xFFFFFFFF))
(- (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x3FE6A09E #x667F3BCD) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x-402D413D #x33018866))
(- (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x5FCFFFFF #xFFFFFFFF)) #.(MAKE-DOUBLE-FLOAT #x-20300001 #xFFFFFFFF))
(- (#.(MAKE-DOUBLE-FLOAT #x40734413 #x509F79FF) #x-143) #.(MAKE-DOUBLE-FLOAT #x4083BA09 #xA84FBD00))
(- (#.(MAKE-DOUBLE-FLOAT #x40734413 #x509F79FF) #.(MAKE-DOUBLE-FLOAT #x-3F8BD000 #x0)) #.(MAKE-DOUBLE-FLOAT #x4083BA09 #xA84FBD00))
(- (#.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3CF75) #.(MAKE-DOUBLE-FLOAT #x-3F89D000 #x0)) #.(MAKE-DOUBLE-FLOAT #x4084FD77 #xEBE9E7BA))
(- (#.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3D654) #.(MAKE-DOUBLE-FLOAT #x3DDB7CDF #xE0000000)) #.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3CF75))
(- (#.(MAKE-DOUBLE-FLOAT #x408D5C13 #x509F7A00) #.(MAKE-DOUBLE-FLOAT #x-3F723000 #x0)) #.(MAKE-DOUBLE-FLOAT #x409D9609 #xA84FBD00))
(- (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000))
(- (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #x-20000000) #.(MAKE-DOUBLE-FLOAT #x41D00000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) #.(MAKE-DOUBLE-FLOAT #x41D00000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x41D80000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) #.(MAKE-DOUBLE-FLOAT #x41E00000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) #.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF9194D8))
(- (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) #.(MAKE-DOUBLE-FLOAT #x43C00000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x43B00000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) #.(MAKE-DOUBLE-FLOAT #x43E00000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x43D00000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0))
(- (#.(MAKE-DOUBLE-FLOAT #x458DCD65 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) #.(MAKE-DOUBLE-FLOAT #x458DCD65 #x800000))
(- (#.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) #.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x800000))
(/ (#x0 #.(MAKE-SINGLE-FLOAT #x3089705F)) #.(MAKE-SINGLE-FLOAT #x0))
(/ (#x0 #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x0))
(/ (#x0 #.(MAKE-SINGLE-FLOAT #x49742400)) #.(MAKE-SINGLE-FLOAT #x0))
(/ (#x0 #.(MAKE-DOUBLE-FLOAT #x3FE62E42 #xFEFA39EF)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(/ (#x0 #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(/ (#x0 #.(MAKE-DOUBLE-FLOAT #x3FF71547 #x652B82FE)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(/ (#x0 #.(MAKE-DOUBLE-FLOAT #x40000000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(/ (#x0 #.(MAKE-DOUBLE-FLOAT #x40240000 #x0)) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(/ (#x1 #.(MAKE-SINGLE-FLOAT #x3089705F)) #.(MAKE-SINGLE-FLOAT #x4E6E6B28))
(/ (#xFFFFFFFF #.(MAKE-SINGLE-FLOAT #x3F000000)) #.(MAKE-SINGLE-FLOAT #x50000000))
(/ (#xFFFFFFFFFFFFFFFF #.(MAKE-SINGLE-FLOAT #x3F000000)) #.(MAKE-SINGLE-FLOAT #x60000000))
(/ (#.(MAKE-SINGLE-FLOAT #x0) #x1) #.(MAKE-SINGLE-FLOAT #x0))
(/ (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x0))
(/ (#.(MAKE-SINGLE-FLOAT #x3F800000) #x3E8) #.(MAKE-SINGLE-FLOAT #x3A83126F))
(/ (#.(MAKE-SINGLE-FLOAT #x3F800000) #xF4240) #.(MAKE-SINGLE-FLOAT #x358637BD))
(/ (#.(MAKE-SINGLE-FLOAT #x40000000) #x20000000) #.(MAKE-SINGLE-FLOAT #x31800000))
(/ (#.(MAKE-SINGLE-FLOAT #x40000000) #x1000000000000000) #.(MAKE-SINGLE-FLOAT #x22000000))
(/ (#.(MAKE-SINGLE-FLOAT #x40000000) #x4000000000000000) #.(MAKE-SINGLE-FLOAT #x21000000))
(/ (#.(MAKE-SINGLE-FLOAT #x497423F0) #.(MAKE-SINGLE-FLOAT #x49742400)) #.(MAKE-SINGLE-FLOAT #x3F7FFFEF))
(/ (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #x1) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF))
(/ (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF))
(/ (#.(MAKE-SINGLE-FLOAT #x4E000000) #x1) #.(MAKE-SINGLE-FLOAT #x4E000000))
(/ (#.(MAKE-SINGLE-FLOAT #x4E000000) #.(MAKE-SINGLE-FLOAT #x3F800000)) #.(MAKE-SINGLE-FLOAT #x4E000000))
(/ (#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) #x1) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF))
(/ (#.(MAKE-SINGLE-FLOAT #x5D800000) #x1) #.(MAKE-SINGLE-FLOAT #x5D800000))
(/ (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) #x1) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF))
(/ (#.(MAKE-SINGLE-FLOAT #x5E800000) #x1) #.(MAKE-SINGLE-FLOAT #x5E800000))
(/ (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #x1) #.(MAKE-DOUBLE-FLOAT #x0 #x0))
(/ (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x41C00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x3E200000 #x0))
(/ (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x3C300000 #x0))
(/ (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x3C100000 #x0))
(/ (#.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18) #x2) #.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18))
(/ (#.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x40000000 #x0)) #.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18))
(/ (#.(MAKE-DOUBLE-FLOAT #x40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x5FEFFFFF #xFFFFFFFF)) #.(MAKE-DOUBLE-FLOAT #x20100000 #x1))
(/ (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #x1) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF))
(/ (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF))
(/ (#.(MAKE-DOUBLE-FLOAT #x41C00000 #x0) #x1) #.(MAKE-DOUBLE-FLOAT #x41C00000 #x0))
(/ (#.(MAKE-DOUBLE-FLOAT #x41C00000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) #.(MAKE-DOUBLE-FLOAT #x41C00000 #x0))
(/ (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #x1) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF))
(/ (#.(MAKE-DOUBLE-FLOAT #x43B00000 #x0) #x1) #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0))
(/ (#.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF) #x1) #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF))
(/ (#.(MAKE-DOUBLE-FLOAT #x43D00000 #x0) #x1) #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0))
(/ (#.(MAKE-DOUBLE-FLOAT #x5FEFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x40100000 #x0)) #.(MAKE-DOUBLE-FLOAT #x5FCFFFFF #xFFFFFFFF))
(< (#x-8000000000000000 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x-8000000000000000 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-4000000000000000 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x-4000000000000000 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-1000000000000000 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x-1000000000000000 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-20000000000000 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-80000000 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x-80000000 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-20000000 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x-20000000 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-1000000 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x-49D #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-433 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-432 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-3BA #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-163 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-144 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-143 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-135 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-F #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x-1 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x-1 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x0 #.(MAKE-SINGLE-FLOAT #x-3136F025)) NIL)
(< (#x0 #.(MAKE-SINGLE-FLOAT #x-21B6F025)) NIL)
(< (#x0 #.(MAKE-SINGLE-FLOAT #x-20B6F025)) NIL)
(< (#x0 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x0 #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#x0 #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) T)
(< (#x0 #.(MAKE-SINGLE-FLOAT #x4EC90FDB)) T)
(< (#x0 #.(MAKE-SINGLE-FLOAT #x5D7FFFFF)) T)
(< (#x0 #.(MAKE-SINGLE-FLOAT #x5E490FDB)) T)
(< (#x0 #.(MAKE-SINGLE-FLOAT #x5E7FFFFF)) T)
(< (#x0 #.(MAKE-SINGLE-FLOAT #x5F490FDB)) T)
(< (#x0 #.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x54442D18)) NIL)
(< (#x0 #.(MAKE-DOUBLE-FLOAT #x-3C36DE05 #x54442D18)) NIL)
(< (#x0 #.(MAKE-DOUBLE-FLOAT #x-3C16DE05 #x54442D18)) NIL)
(< (#x0 #.(MAKE-DOUBLE-FLOAT #x-500001 #xFFFFFFFE)) NIL)
(< (#x0 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x0 #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#x0 #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF)) T)
(< (#x0 #.(MAKE-DOUBLE-FLOAT #x41D921FB #x537B1D3D)) T)
(< (#x0 #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF)) T)
(< (#x0 #.(MAKE-DOUBLE-FLOAT #x43C921FB #x54442D18)) T)
(< (#x0 #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF)) T)
(< (#x0 #.(MAKE-DOUBLE-FLOAT #x43E921FB #x54442D18)) T)
(< (#x1/2 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x1/2 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x1 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x1 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x2 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x2 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x35 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x3E8 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#xF4240 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x20000000 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x20000000 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x80000000 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x80000000 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x1000000000000000 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x1000000000000000 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x4000000000000000 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x4000000000000000 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#x8000000000000000 #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#x8000000000000000 #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x-80000000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x3F800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x4E6E6B28)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x5CEE6B28)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x6C6E6B28)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x6D6E6B28)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x458DCD65 #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x-80000000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x-40800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x-34800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x3F800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x4B7FFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x5E800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-DOUBLE-FLOAT #x-40100000 #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x-34800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x-32000000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x-22800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x-21800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x4B7FFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-32000000) #x0) T)
(< (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x-34800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x-32000000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x-231194D8)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x4E000000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x5CEE6B28)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-319194D8) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-31400000) #.(MAKE-SINGLE-FLOAT #x-32000000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-3136F025) #x0) T)
(< (#.(MAKE-SINGLE-FLOAT #x-3136F025) #.(MAKE-SINGLE-FLOAT #x-3136F025)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-3136F025) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-231194D9) #.(MAKE-SINGLE-FLOAT #x-32000000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-231194D9) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-231194D9) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-231194D8) #.(MAKE-SINGLE-FLOAT #x-32000000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-231194D8) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-231194D8) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-22800000) #x0) T)
(< (#.(MAKE-SINGLE-FLOAT #x-22800000) #.(MAKE-SINGLE-FLOAT #x-22800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-22800000) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-22800000) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-22800000) #.(MAKE-SINGLE-FLOAT #x5D800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-22800000) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-21B6F025) #x0) T)
(< (#.(MAKE-SINGLE-FLOAT #x-21B6F025) #.(MAKE-SINGLE-FLOAT #x-21B6F025)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-21B6F025) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-21800000) #x0) T)
(< (#.(MAKE-SINGLE-FLOAT #x-21800000) #.(MAKE-SINGLE-FLOAT #x-21800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-21800000) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-21800000) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-21800000) #.(MAKE-SINGLE-FLOAT #x5E800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-21800000) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-20B6F025) #x0) T)
(< (#.(MAKE-SINGLE-FLOAT #x-20B6F025) #.(MAKE-SINGLE-FLOAT #x-20B6F025)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-20B6F025) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x-139194D9) #.(MAKE-SINGLE-FLOAT #x-22800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-139194D9) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-139194D9) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-139194D8) #.(MAKE-SINGLE-FLOAT #x-22800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-139194D8) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-129194D9) #.(MAKE-SINGLE-FLOAT #x-21800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-129194D9) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-129194D9) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-129194D8) #.(MAKE-SINGLE-FLOAT #x-21800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x-129194D8) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x-80000000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x-40800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x-34800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x-32000000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x-22800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x-21800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x3D800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x3F000000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x3F800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x4E000000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x538637BD)) T)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x5883126F)) T)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x5D800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x5E800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x21000000) #x0) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x22000000) #x0) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x2EDBE6FF) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x31800000) #x0) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x3D800000) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x3D800000) #.(MAKE-SINGLE-FLOAT #x3D800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x3D800000) #.(MAKE-SINGLE-FLOAT #x3F800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x3F000000) #.(MAKE-SINGLE-FLOAT #x3F000000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x3F800000) #x0) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x-40800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x3D800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x3F800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x3FC90FDB) #.(MAKE-SINGLE-FLOAT #x4EC90FDB)) T)
(< (#.(MAKE-SINGLE-FLOAT #x3FC90FDB) #.(MAKE-SINGLE-FLOAT #x5E490FDB)) T)
(< (#.(MAKE-SINGLE-FLOAT #x3FC90FDB) #.(MAKE-SINGLE-FLOAT #x5F490FDB)) T)
(< (#.(MAKE-SINGLE-FLOAT #x40490FDB) #.(MAKE-SINGLE-FLOAT #x4EC90FDB)) T)
(< (#.(MAKE-SINGLE-FLOAT #x40490FDB) #.(MAKE-SINGLE-FLOAT #x5E490FDB)) T)
(< (#.(MAKE-SINGLE-FLOAT #x40490FDB) #.(MAKE-SINGLE-FLOAT #x5F490FDB)) T)
(< (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x-40800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x-34800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x-32000000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x-22800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x-21800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x4B7FFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) T)
(< (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x-32000000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x-31400000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x-231194D8)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x3F800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x4B7FFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x4E000000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x4EC00000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x5CEE6B28)) T)
(< (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x5D800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x4E000000) #.(MAKE-SINGLE-FLOAT #x-32000000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4E000000) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4E000000) #.(MAKE-SINGLE-FLOAT #x4E000000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4E6E6B28) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4E800000) #.(MAKE-SINGLE-FLOAT #x4E800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4EC00000) #.(MAKE-SINGLE-FLOAT #x-32000000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4EC00000) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4EC00000) #.(MAKE-SINGLE-FLOAT #x4EC00000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4EC90FDB) #.(MAKE-SINGLE-FLOAT #x4EC90FDB)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x4EC90FDB) #.(MAKE-SINGLE-FLOAT #x5F000000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x538637BD) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x538637BD) #.(MAKE-SINGLE-FLOAT #x538637BD)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5883126F) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5883126F) #.(MAKE-SINGLE-FLOAT #x5883126F)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5CEE6B28) #.(MAKE-SINGLE-FLOAT #x-32000000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5CEE6B28) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5CEE6B28) #.(MAKE-SINGLE-FLOAT #x5CEE6B28)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) #.(MAKE-SINGLE-FLOAT #x-22800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) #.(MAKE-SINGLE-FLOAT #x-139194D8)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) #.(MAKE-SINGLE-FLOAT #x3F800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) #.(MAKE-SINGLE-FLOAT #x4B7FFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) #.(MAKE-SINGLE-FLOAT #x5D800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x5D7FFFFF) #.(MAKE-SINGLE-FLOAT #x6C6E6B28)) T)
(< (#.(MAKE-SINGLE-FLOAT #x5D800000) #.(MAKE-SINGLE-FLOAT #x-32000000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5D800000) #.(MAKE-SINGLE-FLOAT #x-22800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5D800000) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5D800000) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5D800000) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5D800000) #.(MAKE-SINGLE-FLOAT #x5D800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5E490FDB) #.(MAKE-SINGLE-FLOAT #x5E490FDB)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) #.(MAKE-SINGLE-FLOAT #x-21800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) #.(MAKE-SINGLE-FLOAT #x-129194D8)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) #.(MAKE-SINGLE-FLOAT #x3F800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) #.(MAKE-SINGLE-FLOAT #x4B7FFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) #.(MAKE-SINGLE-FLOAT #x5E800000)) T)
(< (#.(MAKE-SINGLE-FLOAT #x5E7FFFFF) #.(MAKE-SINGLE-FLOAT #x6D6E6B28)) T)
(< (#.(MAKE-SINGLE-FLOAT #x5E800000) #.(MAKE-SINGLE-FLOAT #x-21800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5E800000) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5E800000) #.(MAKE-SINGLE-FLOAT #x5E800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x5F490FDB) #.(MAKE-SINGLE-FLOAT #x5F490FDB)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x6C6E6B28) #.(MAKE-SINGLE-FLOAT #x-22800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x6C6E6B28) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x6C6E6B28) #.(MAKE-SINGLE-FLOAT #x6C6E6B28)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x6D6E6B28) #.(MAKE-SINGLE-FLOAT #x-21800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x6D6E6B28) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x6D6E6B28) #.(MAKE-SINGLE-FLOAT #x6D6E6B28)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x-4000000000000001) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x-1000000000000001) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x-20000001) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x-1) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x0) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x1/2) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x1) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x3E8) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #xF423F) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #xF4240) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #xFFFFFF) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x1FFFFFE0) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x1FFFFFF9) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x1FFFFFFC) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x1FFFFFFF) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x7FFFFFFF) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #xFFFFFFFF) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x218DEF416BD) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x83126E978D4FD) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x1FFFFFFFFFFFFE) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x20000000000000) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #xFFFFFF000000000) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #xFFFFFFFFFFFFF80) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #xFFFFFFFFFFFFFF9) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #xFFFFFFFFFFFFFFC) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #xFFFFFFFFFFFFFFF) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x1000000000000000) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x3FFFFFC000000000) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x3FFFFFFFFFFFFE00) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x3FFFFFFFFFFFFFF9) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x3FFFFFFFFFFFFFFC) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x3FFFFFFFFFFFFFFF) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #x7FFFFFFFFFFFFFFF) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #xFFFFFFFFFFFFFFFF) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #.(MAKE-SINGLE-FLOAT #x3F800000)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #.(MAKE-DOUBLE-FLOAT #x-40100000 #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18)) NIL)
(< (#.(MAKE-SINGLE-FLOAT #x7F7FFFFF) #.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-SINGLE-FLOAT #x-80000000)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x40734413 #x509F79FF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3D654)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x408628B7 #x6E3A7B61)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x458DCD65 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-80000000 #x0) #.(MAKE-DOUBLE-FLOAT #x5FEFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0) #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x-40100000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-40100000 #x0) #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-4006DE05 #x54442D18) #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-4006DE05 #x54442D18) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3FF6DE05 #x54442D18) #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-3F8BCB1A #x420F4374) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3F89C7BD #x46BBED72) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3F78B6F0 #xD52D3052) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0) #x0) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3F89C7BD #x46BBF451)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0) #.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x800000) #.(MAKE-DOUBLE-FLOAT #x41C00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3E280001 #xFFC00000) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x537B1D3D) #x0) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x54442D18) #.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x537B1D3D)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0) #x0) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0) #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C36DE05 #x54442D18) #x0) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C36DE05 #x54442D18) #.(MAKE-DOUBLE-FLOAT #x-3C36DE05 #x54442D18)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0) #x0) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0) #.(MAKE-SINGLE-FLOAT #x-21800000)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0) #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0) #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C16DE05 #x54442D18) #x0) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3C16DE05 #x54442D18) #.(MAKE-DOUBLE-FLOAT #x-3C16DE05 #x54442D18)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x-3A72329C #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3A72329C #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3A72329C #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3A72329B #x0) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3A72329B #x0) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3A72329B #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3A52329C #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3A52329C #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3A52329C #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3A52329B #x0) #.(MAKE-SINGLE-FLOAT #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3A52329B #x0) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x-3A52329B #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #x-4000000000000001) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #x-4000000000000000) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #x-1000000000000001) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #x-1000000000000000) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #x-20000001) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #x-20000000) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x-40100000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x-4006DE05 #x54442D18)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x1FFFFF #xFFFFFFFE)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x3FE00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x3FE6A09E #x667F3BCD)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x4270C6F7 #xA0B5E000)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x0 #x0) #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x3FB99999 #x9999999A) #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FB99999 #x9999999A) #.(MAKE-SINGLE-FLOAT #x3DCCCCCD)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x3FB99999 #x9999999A) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FB99999 #x9999999A) #.(MAKE-DOUBLE-FLOAT #x3FB99999 #x9999999A)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FE00000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FE00000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FE6A09E #x667F3BCD) #.(MAKE-DOUBLE-FLOAT #x3FF33333 #x33333333)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #x0) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-40100000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FB99999 #x9999999A)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0) #.(MAKE-DOUBLE-FLOAT #x5FCFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF33333 #x33333333) #.(MAKE-DOUBLE-FLOAT #x3FF33333 #x33333333)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x41D921FB #x54442D18)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x43C921FB #x54442D18)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x3FF921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x43E921FB #x54442D18)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18) #.(MAKE-SINGLE-FLOAT #x-800001)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x41D921FB #x54442D18)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x43C921FB #x54442D18)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x400921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x43E921FB #x54442D18)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x40733000 #x0) #.(MAKE-DOUBLE-FLOAT #x40733000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x4073C000 #x0) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x4073C000 #x0) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x4073C000 #x0) #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3CF75) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3CF75) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3CF75) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3CF75) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3CF75) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3CF75) #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x40742000 #x0) #.(MAKE-DOUBLE-FLOAT #x40742000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x4084FD77 #xEBE9E7BA) #.(MAKE-DOUBLE-FLOAT #x41D00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x4084FD77 #xEBE9E7BA) #.(MAKE-DOUBLE-FLOAT #x43C00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x4084FD77 #xEBE9E7BA) #.(MAKE-DOUBLE-FLOAT #x43E00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xE0000000) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xE0000000)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3E280001 #xFFC00000)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3CF75)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x41D80000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x41C00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x800000)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41C00000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41CFFFFF #xFF800000) #.(MAKE-DOUBLE-FLOAT #x41D00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x41D80000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41D80000 #x0) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41D80000 #x0) #.(MAKE-DOUBLE-FLOAT #x41D80000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x41D921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x43E00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x4270C6F7 #xA0B5E000) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x4270C6F7 #xA0B5E000) #.(MAKE-DOUBLE-FLOAT #x4270C6F7 #xA0B5E000)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8) #.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-40100000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8) #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8) #.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3A72329B #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3CF75)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x458DCD65 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x43B00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43B00000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43B00000 #x0) #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43C921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x43C921FB #x54442D18)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3A52329B #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x4073CAEF #xD7D3CF75)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x0)) T)
(< (#.(MAKE-DOUBLE-FLOAT #x43D00000 #x0) #.(MAKE-SINGLE-FLOAT #x5E800000)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43D00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43D00000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43D00000 #x0) #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x43E921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x43E921FB #x54442D18)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x458DCD65 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x458DCD65 #x0) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x458DCD65 #x0) #.(MAKE-DOUBLE-FLOAT #x458DCD65 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x0) #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x0) #.(MAKE-DOUBLE-FLOAT #x45ADCD65 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x5FCFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x5FCFFFFF #xFFFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x5FEFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x-4000000000000001) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x-1000000000000001) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x-20000001) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x-1) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x0) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x1/2) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x1) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x133) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x134) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x13C) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x142) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x3AB) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x3FF) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x400) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x41C) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x1FFFFFE0) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x1FFFFFFF) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x7FFFFFFF) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #xFFFFFFFF) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x1FFFFFFFFFFFFE) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x1FFFFFFFFFFFFF) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x20000000000000) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #xFFFFFFFFFFFFF80) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #xFFFFFFFFFFFFFFF) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x3FFFFFFFFFFFFE00) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x3FFFFFFFFFFFFFC0) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x3FFFFFFFFFFFFFFF) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #x7FFFFFFFFFFFFFFF) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #xFFFFFFFFFFFFFFFF) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-SINGLE-FLOAT #x2EDBE6FF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-SINGLE-FLOAT #x3F800000)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-SINGLE-FLOAT #x4E000000)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-SINGLE-FLOAT #x4E6E6B28)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-SINGLE-FLOAT #x4EC90FDB)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-SINGLE-FLOAT #x5D7FFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-SINGLE-FLOAT #x5D800000)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-SINGLE-FLOAT #x5E490FDB)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-SINGLE-FLOAT #x5E7FFFFF)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-SINGLE-FLOAT #x5E800000)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-SINGLE-FLOAT #x5F490FDB)) NIL)
(< (#.(MAKE-DOUBLE-FLOAT #x7FEFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(<= (#x-4000000000000000 #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(<= (#x-1000000000000000 #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(<= (#x-20000000 #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x-32000000)) NIL)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x-31800000)) NIL)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x-3136F025)) NIL)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x-22800000)) NIL)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x-22000000)) NIL)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x-21B6F025)) NIL)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x-21800000)) NIL)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x-21000000)) NIL)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x-20B6F025)) NIL)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x21000000)) T)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x22000000)) T)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x31800000)) T)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x3F800000)) T)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) T)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x4E800000)) T)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x4EC90FDB)) T)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x5D7FFFFF)) T)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x5E000000)) T)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x5E490FDB)) T)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x5E7FFFFF)) T)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x5F000000)) T)
(<= (#x0 #.(MAKE-SINGLE-FLOAT #x5F490FDB)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0)) NIL)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x537B1D3D)) NIL)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x54442D18)) NIL)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) NIL)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x-3C400000 #x0)) NIL)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x-3C36DE05 #x54442D18)) NIL)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x-3C300000 #x0)) NIL)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x-3C200000 #x0)) NIL)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x-3C16DE05 #x54442D18)) NIL)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x4083BA09 #xA84FBD00)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x4083BA73 #x2107A1BA)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFFFFFFFF)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x41C00000 #x0)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x41CFFFFF #xFF800000)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x41D00000 #x0)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x41D921FB #x537B1D3D)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x41D921FB #x54442D18)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x43C00000 #x0)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x43C921FB #x54442D18)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x43CFFFFF #xFFFFFFFF)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x43E00000 #x0)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x43E921FB #x54442D18)) T)
(<= (#x0 #.(MAKE-DOUBLE-FLOAT #x5FCFFFFF #xFFFFFFFF)) T)
(<= (#x1 #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(<= (#xA #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
(<= (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x-80000000)) T)
(<= (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x-40800000)) NIL)
(<= (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x0)) T)
(<= (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x3F800000)) T)
(<= (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x4B7FFFFF)) T)
(<= (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) T)
(<= (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x4E6E6B28)) T)
(<= (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x5CEE6B28)) T)