diff --git a/library/compiler/inference/known-words.factor b/library/compiler/inference/known-words.factor
index 72f784120d..217e1982f8 100644
--- a/library/compiler/inference/known-words.factor
+++ b/library/compiler/inference/known-words.factor
@@ -149,7 +149,7 @@ sequences strings vectors words prettyprint ;
 \ fixnum/i t "flushable" set-word-prop
 \ fixnum/i t "foldable" set-word-prop
 
-\ fixnum/f [ [ fixnum fixnum ] [ integer ] ] "infer-effect" set-word-prop
+\ fixnum/f [ [ fixnum fixnum ] [ float ] ] "infer-effect" set-word-prop
 \ fixnum/f t "flushable" set-word-prop
 \ fixnum/f t "foldable" set-word-prop
 
@@ -201,7 +201,7 @@ sequences strings vectors words prettyprint ;
 \ bignum/i t "flushable" set-word-prop
 \ bignum/i t "foldable" set-word-prop
 
-\ bignum/f [ [ bignum bignum ] [ bignum ] ] "infer-effect" set-word-prop
+\ bignum/f [ [ bignum bignum ] [ float ] ] "infer-effect" set-word-prop
 \ bignum/f t "flushable" set-word-prop
 \ bignum/f t "foldable" set-word-prop
 
diff --git a/library/test/compiler/templates.factor b/library/test/compiler/templates.factor
index bbce59f9a6..02361190ad 100644
--- a/library/test/compiler/templates.factor
+++ b/library/test/compiler/templates.factor
@@ -123,3 +123,5 @@ unit-test
         ] collect 2nip
     ] compile-1 first
 ] unit-test
+
+[ 3.5 ] [ 1 >bignum 2 >bignum [ bignum/f 3 + ] compile-1 ] unit-test