diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt
index b5ebab7b..88cab603 100644
--- a/collects/typed-scheme/private/base-env-numeric.rkt
+++ b/collects/typed-scheme/private/base-env-numeric.rkt
@@ -381,6 +381,9 @@
 [inexact->exact (cl->*
                  (-Real . -> . -ExactRational)
                  (N . -> . N))]
+[fl->exact-integer (cl->*
+                    (-NonnegativeFlonum . -> . -Nat)
+                    (-Flonum . -> . -Integer))]
 
 [floor rounder]
 [ceiling rounder]