Merge pull request #1346 from herbie-fp/add-bang-underscore-to-fpcore

Add `(! ... _)` to `#:fpcore`

Author: pavpanchekha

infra/softposit.rkt

@@ -176,11 +176,11 @@
   [<=.p8 #:spec (<= x y) #:impl posit8<= #:cost 1]
   [>=.p8 #:spec (>= x y) #:impl posit8>= #:cost 1])
 
-(define-operations ([x <posit8>]) <posit8> #:fpcore (:precision posit8)
+(define-operations ([x <posit8>]) <posit8> #:fpcore (! :precision posit8 _)
   [neg.p8  #:spec (neg x)  #:impl posit8-neg  #:fpcore (- x) #:cost 1]
   [sqrt.p8 #:spec (sqrt x) #:impl posit8-sqrt #:cost 1])
 
-(define-operations ([x <posit8>] [y <posit8>]) <posit8> #:fpcore (:precision posit8)
+(define-operations ([x <posit8>] [y <posit8>]) <posit8> #:fpcore (! :precision posit8 _)
   [+.p8 #:spec (+ x y) #:impl posit8-add #:cost 1]
   [-.p8 #:spec (- x y) #:impl posit8-sub #:cost 1]
   [*.p8 #:spec (* x y) #:impl posit8-mul #:cost 1]
@@ -193,11 +193,11 @@
   [<=.p16 #:spec (<= x y) #:impl posit16<= #:cost 1]
   [>=.p16 #:spec (>= x y) #:impl posit16>= #:cost 1])
 
-(define-operations ([x <posit16>]) <posit16> #:fpcore (:precision posit16)
+(define-operations ([x <posit16>]) <posit16> #:fpcore (! :precision posit16 _)
   [neg.p16  #:spec (neg x)  #:impl posit16-neg  #:fpcore (- x) #:cost 1]
   [sqrt.p16 #:spec (sqrt x) #:impl posit16-sqrt #:cost 1])
 
-(define-operations ([x <posit16>] [y <posit16>]) <posit16> #:fpcore (:precision posit16)
+(define-operations ([x <posit16>] [y <posit16>]) <posit16> #:fpcore (! :precision posit16 _)
   [+.p16 #:spec (+ x y) #:impl posit16-add #:cost 1]
   [-.p16 #:spec (- x y) #:impl posit16-sub #:cost 1]
   [*.p16 #:spec (* x y) #:impl posit16-mul #:cost 1]
@@ -210,11 +210,11 @@
   [<=.p32 #:spec (<= x y) #:impl posit32<= #:cost 1]
   [>=.p32 #:spec (>= x y) #:impl posit32>= #:cost 1])
 
-(define-operations ([x <posit32>]) <posit32> #:fpcore (:precision posit32)
+(define-operations ([x <posit32>]) <posit32> #:fpcore (! :precision posit32 _)
   [neg.p32  #:spec (neg x)  #:impl posit32-neg  #:fpcore (- x) #:cost 1]
   [sqrt.p32 #:spec (sqrt x) #:impl posit32-sqrt #:cost 1])
 
-(define-operations ([x <posit32>] [y <posit32>]) <posit32> #:fpcore (:precision posit32)
+(define-operations ([x <posit32>] [y <posit32>]) <posit32> #:fpcore (! :precision posit32 _)
   [+.p32 #:spec (+ x y) #:impl posit32-add #:cost 1]
   [-.p32 #:spec (- x y) #:impl posit32-sub #:cost 1]
   [*.p32 #:spec (* x y) #:impl posit32-mul #:cost 1]
@@ -226,15 +226,15 @@
 (define-representation <quire16> #:cost 1)
 (define-representation <quire32> #:cost 1)
 
-(define-operations ([x <quire8>] [y <posit8>] [z <posit8>]) <quire8> #:fpcore (:precision quire8)
+(define-operations ([x <quire8>] [y <posit8>] [z <posit8>]) <quire8> #:fpcore (! :precision quire8 _)
   [quire8-mul-add #:spec (+ x (* y z)) #:impl quire8-fdp-add #:fpcore (fdp x y z) #:cost 1]
   [quire8-mul-sub #:spec (- x (* y z)) #:impl quire8-fdp-sub #:fpcore (fds x y z) #:cost 1])
 
-(define-operations ([x <quire16>] [y <posit16>] [z <posit16>]) <quire16> #:fpcore (:precision quire16)
+(define-operations ([x <quire16>] [y <posit16>] [z <posit16>]) <quire16> #:fpcore (! :precision quire16 _)
   [quire16-mul-add #:spec (+ x (* y z)) #:impl quire16-fdp-add #:fpcore (fdp x y z) #:cost 1]
   [quire16-mul-sub #:spec (- x (* y z)) #:impl quire16-fdp-sub #:fpcore (fds x y z) #:cost 1])
 
-(define-operations ([x <quire32>] [y <posit32>] [z <posit32>]) <quire32> #:fpcore (:precision quire32)
+(define-operations ([x <quire32>] [y <posit32>] [z <posit32>]) <quire32> #:fpcore (! :precision quire32 _)
   [quire32-mul-add #:spec (+ x (* y z)) #:impl quire32-fdp-add #:fpcore (fdp x y z) #:cost 1]
   [quire32-mul-sub #:spec (- x (* y z)) #:impl quire32-fdp-sub #:fpcore (fds x y z) #:cost 1])
 

src/platforms/c-windows.rkt

@@ -40,7 +40,7 @@
   [<=.f32 #:spec (<= x y) #:impl <=         #:cost 32bit-move-cost]
   [>=.f32 #:spec (>= x y) #:impl >=         #:cost 32bit-move-cost])
 
-(define-operations () <binary32> #:fpcore (:precision binary32)
+(define-operations () <binary32> #:fpcore (! :precision binary32 _)
   [PI.f32       #:spec (PI)       #:impl (const (flsingle pi))       #:fpcore PI       #:cost 32bit-move-cost]
   [E.f32        #:spec (E)        #:impl (const (flsingle (exp 1)))  #:fpcore E        #:cost 32bit-move-cost]
   [INFINITY.f32 #:spec (INFINITY) #:impl (const +inf.0)              #:fpcore INFINITY #:cost 32bit-move-cost]
@@ -50,13 +50,13 @@
   #:spec (neg x) #:impl (compose flsingle -)
   #:fpcore (! :precision binary32 (- x)) #:cost 0.125)
 
-(define-operations ([x <binary32>] [y <binary32>]) <binary32> #:fpcore (:precision binary32)
+(define-operations ([x <binary32>] [y <binary32>]) <binary32> #:fpcore (! :precision binary32 _)
   [+.f32 #:spec (+ x y) #:impl (compose flsingle +) #:cost 0.200]
   [-.f32 #:spec (- x y) #:impl (compose flsingle -) #:cost 0.200]
   [*.f32 #:spec (* x y) #:impl (compose flsingle *) #:cost 0.250]
   [/.f32 #:spec (/ x y) #:impl (compose flsingle /) #:cost 0.350])
 
-(define-operations ([x <binary32>]) <binary32> #:fpcore (:precision binary32)
+(define-operations ([x <binary32>]) <binary32> #:fpcore (! :precision binary32 _)
   [sin.f32    #:spec (sin x)    #:impl (from-libm 'sinf)    #:cost 4.250]
   [cos.f32    #:spec (cos x)    #:impl (from-libm 'cosf)    #:cost 4.250]
   [tan.f32    #:spec (tan x)    #:impl (from-libm 'tanf)    #:cost 4.750]
@@ -86,7 +86,7 @@
   [tgamma.f32 #:spec (tgamma x) #:impl (from-libm 'tgammaf) #:cost 2.625]
   [trunc.f32  #:spec (trunc x)  #:impl (from-libm 'truncf)  #:cost 0.275])
 
-(define-operations ([x <binary32>] [y <binary32>]) <binary32> #:fpcore (:precision binary32)
+(define-operations ([x <binary32>] [y <binary32>]) <binary32> #:fpcore (! :precision binary32 _)
   [pow.f32       #:spec (pow x y)       #:impl (from-libm 'powf)       #:cost 2.000]
   [atan2.f32     #:spec (atan2 x y)     #:impl (from-libm 'atan2f)     #:cost 2.000]
   [copysign.f32  #:spec (copysign x y)  #:impl (from-libm 'copysignf)  #:cost 0.200]
@@ -96,7 +96,7 @@
   [fmod.f32      #:spec (fmod x y)      #:impl (from-libm 'fmodf)      #:cost 1.750]
   [remainder.f32 #:spec (remainder x y) #:impl (from-libm 'remainderf) #:cost 1.000])
 
-(define-operations ([x <binary32>]) <binary32> #:fpcore (:precision binary32)
+(define-operations ([x <binary32>]) <binary32> #:fpcore (! :precision binary32 _)
   [erfc.f32  #:spec (- 1 (erf x)) #:impl (from-libm 'erfcf)  #:fpcore (erfc x)  #:cost 0.900]
   [expm1.f32 #:spec (- (exp x) 1) #:impl (from-libm 'expm1f) #:fpcore (expm1 x) #:cost 0.900]
   [log1p.f32 #:spec (log (+ 1 x)) #:impl (from-libm 'log1pf) #:fpcore (log1p x) #:cost 1.300])
@@ -115,7 +115,7 @@
   [*.f64 #:spec (* x y) #:impl * #:cost 0.250]
   [/.f64 #:spec (/ x y) #:impl / #:cost 0.350])
 
-(define-operations () <binary64> #:fpcore (:precision binary64)
+(define-operations () <binary64> #:fpcore (! :precision binary64 _)
   [PI.f64   #:spec (PI)       #:impl (const pi)      #:fpcore PI       #:cost 64bit-move-cost]
   [E.f64    #:spec (E)        #:impl (const (exp 1)) #:fpcore E        #:cost 64bit-move-cost]
   [INFINITY #:spec (INFINITY) #:impl (const +inf.0)  #:fpcore INFINITY #:cost 64bit-move-cost]
@@ -133,7 +133,7 @@
   [<=.f64 #:spec (<= x y) #:impl <=         #:cost 64bit-move-cost]
   [>=.f64 #:spec (>= x y) #:impl >=         #:cost 64bit-move-cost])
 
-(define-operations ([x <binary64>]) <binary64> #:fpcore (:precision binary64)
+(define-operations ([x <binary64>]) <binary64> #:fpcore (! :precision binary64 _)
   [fabs.f64   #:spec (fabs x)   #:impl (from-libm 'fabs)      #:cost 0.125]
   [sin.f64    #:spec (sin x)    #:impl (from-libm 'sin)       #:cost 4.200]
   [cos.f64    #:spec (cos x)    #:impl (from-libm 'cos)       #:cost 4.200]
@@ -164,7 +164,7 @@
   [tgamma.f64 #:spec (tgamma x) #:impl (from-libm 'tgamma)    #:cost 2.625]
   [trunc.f64  #:spec (trunc x)  #:impl (from-libm 'trunc)     #:cost 0.250])
 
-(define-operations ([x <binary64>] [y <binary64>]) <binary64> #:fpcore (:precision binary64)
+(define-operations ([x <binary64>] [y <binary64>]) <binary64> #:fpcore (! :precision binary64 _)
   [pow.f64       #:spec (pow x y)       #:impl (from-libm 'pow)       #:cost 2.000]
   [atan2.f64     #:spec (atan2 x y)     #:impl (from-libm 'atan2)     #:cost 2.000]
   [copysign.f64  #:spec (copysign x y)  #:impl (from-libm 'copysign)  #:cost 0.200]
@@ -174,7 +174,7 @@
   [fmod.f64      #:spec (fmod x y)      #:impl (from-libm 'fmod)      #:cost 1.750]
   [remainder.f64 #:spec (remainder x y) #:impl (from-libm 'remainder) #:cost 1.000])
 
-(define-operations ([x <binary64>]) <binary64> #:fpcore (:precision binary64)
+(define-operations ([x <binary64>]) <binary64> #:fpcore (! :precision binary64 _)
   [erfc.f64  #:spec (- 1 (erf x)) #:impl (from-libm 'erfc)  #:fpcore (erfc x)  #:cost 0.900]
   [expm1.f64 #:spec (- (exp x) 1) #:impl (from-libm 'expm1) #:fpcore (expm1 x) #:cost 0.900]
   [log1p.f64 #:spec (log (+ 1 x)) #:impl (from-libm 'log1p) #:fpcore (log1p x) #:cost 1.300])

src/platforms/c.rkt

@@ -40,7 +40,7 @@
   [<=.f32 #:spec (<= x y) #:impl <=         #:cost 32bit-move-cost]
   [>=.f32 #:spec (>= x y) #:impl >=         #:cost 32bit-move-cost])
 
-(define-operations () <binary32> #:fpcore (:precision binary32)
+(define-operations () <binary32> #:fpcore (! :precision binary32 _)
   [PI.f32       #:spec (PI)       #:impl (const (flsingle pi))       #:fpcore PI       #:cost 32bit-move-cost]
   [E.f32        #:spec (E)        #:impl (const (flsingle (exp 1)))  #:fpcore E        #:cost 32bit-move-cost]
   [INFINITY.f32 #:spec (INFINITY) #:impl (const +inf.0)              #:fpcore INFINITY #:cost 32bit-move-cost]
@@ -50,13 +50,13 @@
   #:spec (neg x) #:impl (compose flsingle -)
   #:fpcore (! :precision binary32 (- x)) #:cost 0.125)
 
-(define-operations ([x <binary32>] [y <binary32>]) <binary32> #:fpcore (:precision binary32)
+(define-operations ([x <binary32>] [y <binary32>]) <binary32> #:fpcore (! :precision binary32 _)
   [+.f32 #:spec (+ x y) #:impl (compose flsingle +) #:cost 0.200]
   [-.f32 #:spec (- x y) #:impl (compose flsingle -) #:cost 0.200]
   [*.f32 #:spec (* x y) #:impl (compose flsingle *) #:cost 0.250]
   [/.f32 #:spec (/ x y) #:impl (compose flsingle /) #:cost 0.350])
 
-(define-operations ([x <binary32>]) <binary32> #:fpcore (:precision binary32)
+(define-operations ([x <binary32>]) <binary32> #:fpcore (! :precision binary32 _)
   [fabs.f32   #:spec (fabs x)   #:impl (from-libm 'fabsf)   #:cost 0.125]
   [sin.f32    #:spec (sin x)    #:impl (from-libm 'sinf)    #:cost 4.250]
   [cos.f32    #:spec (cos x)    #:impl (from-libm 'cosf)    #:cost 4.250]
@@ -87,7 +87,7 @@
   [tgamma.f32 #:spec (tgamma x) #:impl (from-libm 'tgammaf) #:cost 2.625]
   [trunc.f32  #:spec (trunc x)  #:impl (from-libm 'truncf)  #:cost 0.275])
 
-(define-operations ([x <binary32>] [y <binary32>]) <binary32> #:fpcore (:precision binary32)
+(define-operations ([x <binary32>] [y <binary32>]) <binary32> #:fpcore (! :precision binary32 _)
   [pow.f32       #:spec (pow x y)       #:impl (from-libm 'powf)       #:cost 2.000]
   [atan2.f32     #:spec (atan2 x y)     #:impl (from-libm 'atan2f)     #:cost 2.000]
   [copysign.f32  #:spec (copysign x y)  #:impl (from-libm 'copysignf)  #:cost 0.200]
@@ -97,7 +97,7 @@
   [fmod.f32      #:spec (fmod x y)      #:impl (from-libm 'fmodf)      #:cost 1.750]
   [remainder.f32 #:spec (remainder x y) #:impl (from-libm 'remainderf) #:cost 1.000])
 
-(define-operations ([x <binary32>]) <binary32> #:fpcore (:precision binary32)
+(define-operations ([x <binary32>]) <binary32> #:fpcore (! :precision binary32 _)
   [erfc.f32  #:spec (- 1 (erf x)) #:impl (from-libm 'erfcf)  #:fpcore (erfc x)  #:cost 0.900]
   [expm1.f32 #:spec (- (exp x) 1) #:impl (from-libm 'expm1f) #:fpcore (expm1 x) #:cost 0.900]
   [log1p.f32 #:spec (log (+ 1 x)) #:impl (from-libm 'log1pf) #:fpcore (log1p x) #:cost 1.300])
@@ -126,7 +126,7 @@
   [<=.f64 #:spec (<= x y) #:impl <=         #:cost 64bit-move-cost]
   [>=.f64 #:spec (>= x y) #:impl >=         #:cost 64bit-move-cost])
 
-(define-operations () <binary64> #:fpcore (:precision binary64)
+(define-operations () <binary64> #:fpcore (! :precision binary64 _)
   [PI.f64   #:spec (PI)       #:impl (const pi)      #:fpcore PI       #:cost 64bit-move-cost]
   [E.f64    #:spec (E)        #:impl (const (exp 1)) #:fpcore E        #:cost 64bit-move-cost]
   [INFINITY #:spec (INFINITY) #:impl (const +inf.0)  #:fpcore INFINITY #:cost 64bit-move-cost]
@@ -135,13 +135,13 @@
 (define-operation (neg.f64 [x <binary64>]) <binary64>
   #:spec (neg x) #:impl - #:fpcore (! :precision binary64 (- x)) #:cost 0.125)
 
-(define-operations ([x <binary64>] [y <binary64>]) <binary64> #:fpcore (:precision binary64)
+(define-operations ([x <binary64>] [y <binary64>]) <binary64> #:fpcore (! :precision binary64 _)
   [+.f64 #:spec (+ x y) #:impl + #:cost 0.200]
   [-.f64 #:spec (- x y) #:impl - #:cost 0.200]
   [*.f64 #:spec (* x y) #:impl * #:cost 0.250]
   [/.f64 #:spec (/ x y) #:impl / #:cost 0.350])
 
-(define-operations ([x <binary64>]) <binary64> #:fpcore (:precision binary64)
+(define-operations ([x <binary64>]) <binary64> #:fpcore (! :precision binary64 _)
   [fabs.f64   #:spec (fabs x)   #:impl (from-libm 'fabs)      #:cost 0.125]
   [sin.f64    #:spec (sin x)    #:impl (from-libm 'sin)       #:cost 4.200]
   [cos.f64    #:spec (cos x)    #:impl (from-libm 'cos)       #:cost 4.200]
@@ -172,7 +172,7 @@
   [tgamma.f64 #:spec (tgamma x) #:impl (from-libm 'tgamma)    #:cost 2.625]
   [trunc.f64  #:spec (trunc x)  #:impl (from-libm 'trunc)     #:cost 0.250])
 
-(define-operations ([x <binary64>] [y <binary64>]) <binary64> #:fpcore (:precision binary64)
+(define-operations ([x <binary64>] [y <binary64>]) <binary64> #:fpcore (! :precision binary64 _)
   [pow.f64       #:spec (pow x y)       #:impl (from-libm 'pow)       #:cost 2.000]
   [atan2.f64     #:spec (atan2 x y)     #:impl (from-libm 'atan2)     #:cost 2.000]
   [copysign.f64  #:spec (copysign x y)  #:impl (from-libm 'copysign)  #:cost 0.200]
@@ -182,7 +182,7 @@
   [fmod.f64      #:spec (fmod x y)      #:impl (from-libm 'fmod)      #:cost 1.750]
   [remainder.f64 #:spec (remainder x y) #:impl (from-libm 'remainder) #:cost 1.000])
 
-(define-operations ([x <binary64>]) <binary64> #:fpcore (:precision binary64)
+(define-operations ([x <binary64>]) <binary64> #:fpcore (! :precision binary64 _)
   [erfc.f64  #:spec (- 1 (erf x)) #:impl (from-libm 'erfc)  #:fpcore (erfc x) #:cost 0.900]
   [expm1.f64 #:spec (- (exp x) 1) #:impl (from-libm 'expm1) #:fpcore (expm1 x) #:cost 0.900]
   [log1p.f64 #:spec (log (+ 1 x)) #:impl (from-libm 'log1p) #:fpcore (log1p x) #:cost 1.300])

src/platforms/herbie10.rkt

@@ -36,7 +36,7 @@
   [<=.f32 #:spec (<= x y) #:impl <=         #:cost 0]
   [>=.f32 #:spec (>= x y) #:impl >=         #:cost 0])
 
-(define-operations () <binary32> #:fpcore (:precision binary32)
+(define-operations () <binary32> #:fpcore (! :precision binary32 _)
   [PI.f32       #:spec (PI)       #:impl (const (flsingle pi))       #:fpcore PI       #:cost 0]
   [E.f32        #:spec (E)        #:impl (const (flsingle (exp 1)))  #:fpcore E        #:cost 0]
   [INFINITY.f32 #:spec (INFINITY) #:impl (const +inf.0)              #:fpcore INFINITY #:cost 0]
@@ -46,13 +46,13 @@
   #:spec (neg x) #:impl (compose flsingle -)
   #:fpcore (! :precision binary32 (- x)) #:cost 0)
 
-(define-operations ([x <binary32>] [y <binary32>]) <binary32> #:fpcore (:precision binary32)
+(define-operations ([x <binary32>] [y <binary32>]) <binary32> #:fpcore (! :precision binary32 _)
   [+.f32 #:spec (+ x y) #:impl (compose flsingle +) #:cost 0]
   [-.f32 #:spec (- x y) #:impl (compose flsingle -) #:cost 0]
   [*.f32 #:spec (* x y) #:impl (compose flsingle *) #:cost 0]
   [/.f32 #:spec (/ x y) #:impl (compose flsingle /) #:cost 0])
 
-(define-operations ([x <binary32>]) <binary32> #:fpcore (:precision binary32)
+(define-operations ([x <binary32>]) <binary32> #:fpcore (! :precision binary32 _)
   [fabs.f32   #:spec (fabs x)   #:impl (from-libm 'fabsf)   #:cost 0]
   [sin.f32    #:spec (sin x)    #:impl (from-libm 'sinf)    #:cost 0]
   [cos.f32    #:spec (cos x)    #:impl (from-libm 'cosf)    #:cost 0]
@@ -83,7 +83,7 @@
   [tgamma.f32 #:spec (tgamma x) #:impl (from-libm 'tgammaf) #:cost 0]
   [trunc.f32  #:spec (trunc x)  #:impl (from-libm 'truncf)  #:cost 0])
 
-(define-operations ([x <binary32>] [y <binary32>]) <binary32> #:fpcore (:precision binary32)
+(define-operations ([x <binary32>] [y <binary32>]) <binary32> #:fpcore (! :precision binary32 _)
   [pow.f32       #:spec (pow x y)       #:impl (from-libm 'powf)       #:cost 0]
   [atan2.f32     #:spec (atan2 x y)     #:impl (from-libm 'atan2f)     #:cost 0]
   [copysign.f32  #:spec (copysign x y)  #:impl (from-libm 'copysignf)  #:cost 0]
@@ -93,7 +93,7 @@
   [fmod.f32      #:spec (fmod x y)      #:impl (from-libm 'fmodf)      #:cost 0]
   [remainder.f32 #:spec (remainder x y) #:impl (from-libm 'remainderf) #:cost 0])
 
-(define-operations ([x <binary32>]) <binary32> #:fpcore (:precision binary32)
+(define-operations ([x <binary32>]) <binary32> #:fpcore (! :precision binary32 _)
   [erfc.f32  #:spec (- 1 (erf x)) #:impl (from-libm 'erfcf)  #:fpcore (erfc x)  #:cost 0]
   [expm1.f32 #:spec (- (exp x) 1) #:impl (from-libm 'expm1f) #:fpcore (expm1 x) #:cost 0]
   [log1p.f32 #:spec (log (+ 1 x)) #:impl (from-libm 'log1pf) #:fpcore (log1p x) #:cost 0])
@@ -122,13 +122,13 @@
   [<=.f64 #:spec (<= x y) #:impl <=         #:cost 0]
   [>=.f64 #:spec (>= x y) #:impl >=         #:cost 0])
 
-(define-operations () <binary64> #:fpcore (:precision binary64)
+(define-operations () <binary64> #:fpcore (! :precision binary64 _)
   [PI.f64   #:spec (PI)       #:impl (const pi)      #:fpcore PI       #:cost 0]
   [E.f64    #:spec (E)        #:impl (const (exp 1)) #:fpcore E        #:cost 0]
   [INFINITY #:spec (INFINITY) #:impl (const +inf.0)  #:fpcore INFINITY #:cost 0]
   [NAN.f64  #:spec (NAN)      #:impl (const +nan.0)  #:fpcore NAN      #:cost 0])
 
- (define-operations ([x <binary64>] [y <binary64>]) <binary64> #:fpcore (:precision binary64)
+ (define-operations ([x <binary64>] [y <binary64>]) <binary64> #:fpcore (! :precision binary64 _)
    [+.f64 #:spec (+ x y) #:impl + #:cost 0]
    [-.f64 #:spec (- x y) #:impl - #:cost 0]
    [*.f64 #:spec (* x y) #:impl * #:cost 0]
@@ -138,7 +138,7 @@
    #:spec (neg x) #:impl -
    #:fpcore (! :precision binary64 (- x)) #:cost 0)
 
- (define-operations ([x <binary64>]) <binary64> #:fpcore (:precision binary64)
+ (define-operations ([x <binary64>]) <binary64> #:fpcore (! :precision binary64 _)
    [fabs.f64   #:spec (fabs x)   #:impl (from-libm 'fabs)      #:cost 0]
    [sin.f64    #:spec (sin x)    #:impl (from-libm 'sin)       #:cost 0]
    [cos.f64    #:spec (cos x)    #:impl (from-libm 'cos)       #:cost 0]
@@ -169,7 +169,7 @@
    [tgamma.f64 #:spec (tgamma x) #:impl (from-libm 'tgamma)    #:cost 0]
    [trunc.f64  #:spec (trunc x)  #:impl (from-libm 'trunc)     #:cost 0])
 
- (define-operations ([x <binary64>] [y <binary64>]) <binary64> #:fpcore (:precision binary64)
+ (define-operations ([x <binary64>] [y <binary64>]) <binary64> #:fpcore (! :precision binary64 _)
    [pow.f64       #:spec (pow x y)       #:impl (from-libm 'pow)       #:cost 0]
    [atan2.f64     #:spec (atan2 x y)     #:impl (from-libm 'atan2)     #:cost 0]
    [copysign.f64  #:spec (copysign x y)  #:impl (from-libm 'copysign)  #:cost 0]
@@ -179,7 +179,7 @@
    [fmod.f64      #:spec (fmod x y)      #:impl (from-libm 'fmod)      #:cost 0]
    [remainder.f64 #:spec (remainder x y) #:impl (from-libm 'remainder) #:cost 0])
 
- (define-operations ([x <binary64>]) <binary64> #:fpcore (:precision binary64)
+ (define-operations ([x <binary64>]) <binary64> #:fpcore (! :precision binary64 _)
    [erfc.f64  #:spec (- 1 (erf x)) #:impl (from-libm 'erfc)  #:fpcore (erfc x)  #:cost 0]
    [expm1.f64 #:spec (- (exp x) 1) #:impl (from-libm 'expm1) #:fpcore (expm1 x) #:cost 0]
    [log1p.f64 #:spec (log (+ 1 x)) #:impl (from-libm 'log1p) #:fpcore (log1p x) #:cost 0])