eliminate nested COALTON use in num macros

Author: stylewarning

library/math/num-defining-macros.lisp

@@ -204,7 +204,7 @@
 
 
 ;;; Float Num instances.
-(cl:defmacro define-num-float (type lisp-type)
+(cl:defmacro define-num-float (type lisp-type plus-inf minus-inf)
   "Define `Num' for the float type TYPE."
 
   ;;
@@ -244,8 +244,8 @@
        (lisp ,type (x)
          (cl:or (cl:ignore-errors (cl:coerce x ',lisp-type))
                 (cl:if (cl:< x 0)
-                       (coalton (the ,type negative-infinity))
-                       (coalton (the ,type infinity))))))))
+                       ,minus-inf
+                       ,plus-inf))))))
 
 
 ;;; Utility to define type -> Fraction conversions.

library/math/num.lisp

@@ -106,8 +106,8 @@
 ;;; Float Num instances
 ;;;
 
-  (define-num-float Single-Float cl:single-float)
-  (define-num-float Double-Float cl:double-float)
+  (define-num-float Single-Float cl:single-float float-features:single-float-positive-infinity float-features:single-float-negative-infinity)
+  (define-num-float Double-Float cl:double-float float-features:double-float-positive-infinity float-features:double-float-negative-infinity)
 
 
 ;;;