Update math journal again

1 files changed, 22 insertions, 0 deletions

diff --git a/float-math.lisp-expr b/float-math.lisp-expr
index bb87079a2..d1dbfc9a2 100644
--- a/float-math.lisp-expr
+++ b/float-math.lisp-expr
@@ -928,6 +928,7 @@
 (<= (#.(MAKE-SINGLE-FLOAT #x-4036F025) #.(MAKE-SINGLE-FLOAT #x5F490FDB)) T)
 (<= (#.(MAKE-SINGLE-FLOAT #x-3FB6F025) #.(MAKE-SINGLE-FLOAT #x40490FDB)) T)
 (<= (#.(MAKE-SINGLE-FLOAT #x-34800000) #x0) T)
+(<= (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x-34800000)) T)
 (<= (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x4B7FFFFF)) T)
 (<= (#.(MAKE-SINGLE-FLOAT #x-32000000) #x0) T)
 (<= (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x-32000000)) T)
@@ -1031,6 +1032,7 @@
 (<= (#.(MAKE-SINGLE-FLOAT #x447A0000) #.(MAKE-SINGLE-FLOAT #x40000000)) NIL)
 (<= (#.(MAKE-SINGLE-FLOAT #x49742400) #.(MAKE-SINGLE-FLOAT #x40000000)) NIL)
 (<= (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #x0) NIL)
+(<= (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
 (<= (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x4B7FFFFF)) T)
 (<= (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #x0) NIL)
 (<= (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
@@ -1161,6 +1163,7 @@
 (<= (#.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x54442D18) #.(MAKE-DOUBLE-FLOAT #x41D921FB #x54442D18)) T)
 (<= (#.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x60000000) #.(MAKE-DOUBLE-FLOAT #x41D921FB #x60000000)) T)
 (<= (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #x0) T)
+(<= (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0)) T)
 (<= (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF)) T)
 (<= (#.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8) #x0) T)
 (<= (#.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8) #.(MAKE-SINGLE-FLOAT #x0)) T)
@@ -1343,6 +1346,7 @@
 (<= (#.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
 (<= (#.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8) #.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8)) T)
 (<= (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #x0) NIL)
+(<= (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
 (<= (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF)) T)
 (<= (#.(MAKE-DOUBLE-FLOAT #x4341C379 #x37E08000) #.(MAKE-DOUBLE-FLOAT #x40000000 #x0)) NIL)
 (<= (#.(MAKE-DOUBLE-FLOAT #x439DCD64 #xFF1194D8) #x0) NIL)
@@ -1715,6 +1719,7 @@
 (= (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x-40800000)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x3F800000)) NIL)
 (= (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-DOUBLE-FLOAT #x-40100000 #x0)) T)
+(= (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x-34800000)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x-32000000)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x-3136F025) #.(MAKE-SINGLE-FLOAT #x-3136F025)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x-22800000) #.(MAKE-SINGLE-FLOAT #x-22800000)) T)
@@ -1751,6 +1756,7 @@
 (= (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
 (= (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x3F800000)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) T)
+(= (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x4B7FFFFF)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x-32000000)) NIL)
 (= (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x4E000000) #x0) NIL)
@@ -1791,6 +1797,7 @@
 (= (#.(MAKE-DOUBLE-FLOAT #x-3E400000 #x0) #.(MAKE-DOUBLE-FLOAT #x41C00000 #x0)) NIL)
 (= (#.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x537B1D3D) #.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x54442D18)) NIL)
 (= (#.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x537B1D3D) #.(MAKE-DOUBLE-FLOAT #x41D921FB #x54442D18)) NIL)
+(= (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0)) T)
 (= (#.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) T)
 (= (#.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
 (= (#.(MAKE-DOUBLE-FLOAT #x-3C36DE05 #x54442D18) #.(MAKE-DOUBLE-FLOAT #x-3C36DE05 #x54442D18)) T)
@@ -1871,6 +1878,7 @@
 (= (#.(MAKE-DOUBLE-FLOAT #x4270C6F7 #xA0B5E000) #.(MAKE-DOUBLE-FLOAT #x4270C6F7 #xA0B5E000)) T)
 (= (#.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
 (= (#.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8) #.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8)) T)
+(= (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF)) T)
 (= (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) NIL)
 (= (#.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x43AFFFFF #xFFFFFFFF)) T)
 (= (#.(MAKE-DOUBLE-FLOAT #x43B00000 #x0) #x0) NIL)
@@ -1945,6 +1953,7 @@
 (= (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x-80000000)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x-80000000) #.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x0)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x-34800000) #x0 #x0) NIL)
+(= (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x-34800000)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x-32000000) #x0 #x0) NIL)
 (= (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x-32000000)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x-32000000)) NIL)
@@ -1986,6 +1995,7 @@
 (= (#.(MAKE-SINGLE-FLOAT #x3D800000) #.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x3D800000)) NIL)
 (= (#.(MAKE-SINGLE-FLOAT #x3F000000) #.(MAKE-SINGLE-FLOAT #x3F000000) #.(MAKE-SINGLE-FLOAT #x3F000000)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x3F800000)) T)
+(= (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x4B7FFFFF)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x4E000000) #.(MAKE-SINGLE-FLOAT #x4E000000) #.(MAKE-SINGLE-FLOAT #x4E000000)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x538637BD) #.(MAKE-SINGLE-FLOAT #x538637BD) #.(MAKE-SINGLE-FLOAT #x538637BD)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x5883126F) #.(MAKE-SINGLE-FLOAT #x5883126F) #.(MAKE-SINGLE-FLOAT #x5883126F)) T)
@@ -2012,6 +2022,7 @@
 (= (#.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x54442D18) #.(MAKE-DOUBLE-FLOAT #x41D921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x537B1D3D)) NIL)
 (= (#.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x54442D18) #.(MAKE-DOUBLE-FLOAT #x41D921FB #x54442D18) #.(MAKE-DOUBLE-FLOAT #x41D921FB #x537B1D3D)) NIL)
 (= (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #x0 #x0) NIL)
+(= (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0)) T)
 (= (#.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8) #x0 #x0) NIL)
 (= (#.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0) #x0 #x0) NIL)
 (= (#.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0)) T)
@@ -2048,6 +2059,7 @@
 (= (#.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000) #.(MAKE-DOUBLE-FLOAT #x41BFFFFF #xFF000000)) T)
 (= (#.(MAKE-DOUBLE-FLOAT #x4270C6F7 #xA0B5E000) #.(MAKE-DOUBLE-FLOAT #x4270C6F7 #xA0B5E000) #.(MAKE-DOUBLE-FLOAT #x4270C6F7 #xA0B5E000)) T)
 (= (#.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8) #.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8) #.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8)) T)
+(= (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF)) T)
 (= (#.(MAKE-DOUBLE-FLOAT #x43B00000 #x0) #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0) #.(MAKE-DOUBLE-FLOAT #x43B00000 #x0)) T)
 (= (#.(MAKE-DOUBLE-FLOAT #x43D00000 #x0) #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0) #.(MAKE-DOUBLE-FLOAT #x43D00000 #x0)) T)
 (= (#.(MAKE-SINGLE-FLOAT #x3F000000) #.(MAKE-SINGLE-FLOAT #x0) #.(MAKE-SINGLE-FLOAT #x3F000000) #.(MAKE-SINGLE-FLOAT #x3F000000)) NIL)
@@ -2694,7 +2706,9 @@
 (>= (#.(MAKE-SINGLE-FLOAT #x-368C1A80) #x0) NIL)
 (>= (#.(MAKE-SINGLE-FLOAT #x-368BDC10) #x0) NIL)
 (>= (#.(MAKE-SINGLE-FLOAT #x-34800000) #x0) NIL)
+(>= (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x-80000000)) NIL)
 (>= (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x-34800000)) T)
+(>= (#.(MAKE-SINGLE-FLOAT #x-34800000) #.(MAKE-SINGLE-FLOAT #x0)) NIL)
 (>= (#.(MAKE-SINGLE-FLOAT #x-32000000) #x0) NIL)
 (>= (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x-80000000)) NIL)
 (>= (#.(MAKE-SINGLE-FLOAT #x-32000000) #.(MAKE-SINGLE-FLOAT #x-32000000)) T)
@@ -2783,7 +2797,10 @@
 (>= (#.(MAKE-SINGLE-FLOAT #x447A0000) #.(MAKE-SINGLE-FLOAT #x40000000)) T)
 (>= (#.(MAKE-SINGLE-FLOAT #x49742400) #x0) T)
 (>= (#.(MAKE-SINGLE-FLOAT #x49742400) #.(MAKE-SINGLE-FLOAT #x40000000)) T)
+(>= (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x-80000000)) T)
 (>= (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x-34800000)) T)
+(>= (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x0)) T)
+(>= (#.(MAKE-SINGLE-FLOAT #x4B7FFFFF) #.(MAKE-SINGLE-FLOAT #x4B7FFFFF)) T)
 (>= (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x-80000000)) T)
 (>= (#.(MAKE-SINGLE-FLOAT #x4DFFFFFF) #.(MAKE-SINGLE-FLOAT #x0)) T)
 (>= (#.(MAKE-SINGLE-FLOAT #x4E000000) #x0) T)
@@ -2887,7 +2904,9 @@
 (>= (#.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x54442D18) #.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x54442D18)) T)
 (>= (#.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x60000000) #.(MAKE-DOUBLE-FLOAT #x-3E26DE05 #x60000000)) T)
 (>= (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #x0) NIL)
+(>= (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) NIL)
 (>= (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0)) T)
+(>= (#.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) NIL)
 (>= (#.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8) #x0) NIL)
 (>= (#.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8) #.(MAKE-DOUBLE-FLOAT #x-3C62329C #xFF1194D8)) T)
 (>= (#.(MAKE-DOUBLE-FLOAT #x-3C500000 #x0) #x0) NIL)
@@ -3044,7 +3063,10 @@
 (>= (#.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) T)
 (>= (#.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
 (>= (#.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8) #.(MAKE-DOUBLE-FLOAT #x4310624D #xD2F1A9F8)) T)
+(>= (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-80000000 #x0)) T)
 (>= (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x-3CC00000 #x0)) T)
+(>= (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x0 #x0)) T)
+(>= (#.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF) #.(MAKE-DOUBLE-FLOAT #x433FFFFF #xFFFFFFFF)) T)
 (>= (#.(MAKE-DOUBLE-FLOAT #x4341C379 #x37E08000) #x0) T)
 (>= (#.(MAKE-DOUBLE-FLOAT #x4341C379 #x37E08000) #.(MAKE-DOUBLE-FLOAT #x40000000 #x0)) T)
 (>= (#.(MAKE-DOUBLE-FLOAT #x43B00000 #x0) #x0) T)