diff --git a/collects/typed-scheme/base-env/base-env-indexing-abs.rkt b/collects/typed-scheme/base-env/base-env-indexing-abs.rkt
index 9f778248..b960a25f 100644
--- a/collects/typed-scheme/base-env/base-env-indexing-abs.rkt
+++ b/collects/typed-scheme/base-env/base-env-indexing-abs.rkt
@@ -10,7 +10,7 @@
                racket/promise racket/system
                (only-in string-constants/private/only-once maybe-print-message)
                (only-in racket/match/runtime match:error matchable? match-equality-test)
-               racket/unsafe/ops)
+               racket/unsafe/ops racket/flonum)
  (utils tc-utils)
  (types union convenience)
  (rename-in (types abbrev numeric-tower) [-Number N] [-Boolean B] [-Symbol Sym]))
@@ -267,6 +267,22 @@
    [make-vector (-poly (a) (cl-> [(index-type) (-vec (Un -Integer a))]
                                  [(index-type a) (-vec a)]))]
 
+   ;; flvector ops
+
+   [flvector? (make-pred-ty -FlVector)]
+   [flvector (->* (list) -Flonum -FlVector)]
+   [make-flvector (cl->* (-> index-type -FlVector)
+                         (-> index-type -Flonum -FlVector))]
+
+   [flvector-length (-> -FlVector -NonNegFixnum)]
+   [flvector-ref (-> -FlVector index-type -Flonum)]
+   [flvector-set! (-> -FlVector index-type -Flonum -Void)]
+
+   [unsafe-flvector-length (-> -FlVector -NonNegFixnum)]
+   [unsafe-flvector-ref (-> -FlVector index-type -Flonum)]
+   [unsafe-flvector-set! (-> -FlVector index-type -Flonum -Void)]
+
+
    [bytes-ref (-> -Bytes index-type -Byte)]
    [unsafe-bytes-ref (-> -Bytes index-type -Byte)]
    [bytes-set! (-> -Bytes index-type index-type -Void)]
diff --git a/collects/typed-scheme/base-env/base-env-numeric.rkt b/collects/typed-scheme/base-env/base-env-numeric.rkt
index 19f8f7cf..d18025f4 100644
--- a/collects/typed-scheme/base-env/base-env-numeric.rkt
+++ b/collects/typed-scheme/base-env/base-env-numeric.rkt
@@ -1861,19 +1861,3 @@
 [unsafe-make-flrectangular make-flrectangular-type]
 [unsafe-flreal-part flreal-part-type]
 [unsafe-flimag-part flimag-part-type]
-
-
-;; flvector ops
-
-[flvector? (make-pred-ty -FlVector)]
-[flvector (varop -Flonum -FlVector)]
-[make-flvector (cl->* (-> -Int -FlVector)
-                      (-> -Int -Flonum -FlVector))]
-
-[flvector-length (-> -FlVector -NonNegFixnum)]
-[flvector-ref (-> -FlVector -Int -Flonum)]
-[flvector-set! (-> -FlVector -Int -Flonum -Void)]
-
-[unsafe-flvector-length (-> -FlVector -NonNegFixnum)]
-[unsafe-flvector-ref (-> -FlVector -Int -Flonum)]
-[unsafe-flvector-set! (-> -FlVector -Int -Flonum -Void)]