diff --git a/collects/typed-racket/types/numeric-tower.rkt b/collects/typed-racket/types/numeric-tower.rkt
index 2ca51b3d52..c7fb54976e 100644
--- a/collects/typed-racket/types/numeric-tower.rkt
+++ b/collects/typed-racket/types/numeric-tower.rkt
@@ -128,12 +128,12 @@
 
 ;; Floating-point numbers
 (define -FlonumPosZero (make-Base 'Float-Positive-Zero
-                                  #'(lambda (x) (eq? x 0.0))
-                                  (lambda (x) (eq? x 0.0))
+                                  #'(lambda (x) (eqv? x 0.0))
+                                  (lambda (x) (eqv? x 0.0))
                                   #'-FlonumPosZero))
 (define -FlonumNegZero (make-Base 'Float-Negative-Zero
-                                  #'(lambda (x) (eq? x -0.0))
-                                  (lambda (x) (eq? x -0.0))
+                                  #'(lambda (x) (eqv? x -0.0))
+                                  (lambda (x) (eqv? x -0.0))
                                   #'-FlonumNegZero))
 (define -FlonumZero (*Un -FlonumPosZero -FlonumNegZero))
 (define -FlonumNan (make-Base 'Float-Nan