diff --git a/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt
index 6c82520dba..59a38b9ad1 100644
--- a/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt
@@ -1,4 +1,4 @@
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)
-(quotient (vector-length '#(1 2 3)) 2)
+(modulo (vector-length '#(1 2 3)) 2)
diff --git a/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt.log b/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt.log
index 631f3e506d..f673d69a5a 100644
--- a/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt.log
+++ b/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt.log
@@ -1,3 +1,3 @@
-binary-nonzero-fixnum.rkt line 4 col 11 - vector-length - vector-length
-binary-nonzero-fixnum.rkt line 4 col 1 - quotient - binary nonzero fixnum
+binary-nonzero-fixnum.rkt line 4 col 9 - vector-length - vector-length
+binary-nonzero-fixnum.rkt line 4 col 1 - modulo - binary nonzero fixnum
 1
diff --git a/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt b/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt
index 134bd64d94..c3fda6ead2 100644
--- a/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt
@@ -1,5 +1,5 @@
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops racket/flonum)
-(+ (quotient 1 1) 2.0)
+(+ (modulo 1 1) 2.0)
 (+ (expt 100 100) 2.0)
diff --git a/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt.log b/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt.log
index 4f87617a3e..65b20cfaa9 100644
--- a/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt.log
+++ b/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt.log
@@ -1,5 +1,5 @@
-float-promotion.rkt line 4 col 4 - quotient - binary nonzero fixnum
+float-promotion.rkt line 4 col 4 - modulo - binary nonzero fixnum
 float-promotion.rkt line 4 col 1 - + - binary float
 float-promotion.rkt line 5 col 1 - + - binary float
-3.0
+2.0
 1e+200
diff --git a/collects/tests/typed-scheme/optimizer/tests/inexact-complex-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/inexact-complex-fixnum.rkt
index 11a6366761..09affc246f 100644
--- a/collects/tests/typed-scheme/optimizer/tests/inexact-complex-fixnum.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/inexact-complex-fixnum.rkt
@@ -1,4 +1,4 @@
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)
-(+ (quotient 2 1) 1.0+2.0i 3.0+6.0i)
+(+ (modulo 2 1) 1.0+2.0i 3.0+6.0i)
diff --git a/collects/tests/typed-scheme/optimizer/tests/inexact-complex-fixnum.rkt.log b/collects/tests/typed-scheme/optimizer/tests/inexact-complex-fixnum.rkt.log
index b772e2f28b..89fc2ef992 100644
--- a/collects/tests/typed-scheme/optimizer/tests/inexact-complex-fixnum.rkt.log
+++ b/collects/tests/typed-scheme/optimizer/tests/inexact-complex-fixnum.rkt.log
@@ -1,8 +1,8 @@
-inexact-complex-fixnum.rkt line 4 col 4 - quotient - binary nonzero fixnum
-inexact-complex-fixnum.rkt line 4 col 4 - quotient - binary nonzero fixnum
-inexact-complex-fixnum.rkt line 4 col 3 - (#%app quotient (quote 2) (quote 1)) - float-coerce-expr in complex ops
-inexact-complex-fixnum.rkt line 4 col 18 - 1.0+2.0i - unboxed literal
-inexact-complex-fixnum.rkt line 4 col 27 - 3.0+6.0i - unboxed literal
+inexact-complex-fixnum.rkt line 4 col 4 - modulo - binary nonzero fixnum
+inexact-complex-fixnum.rkt line 4 col 4 - modulo - binary nonzero fixnum
+inexact-complex-fixnum.rkt line 4 col 3 - (#%app modulo (quote 2) (quote 1)) - float-coerce-expr in complex ops
+inexact-complex-fixnum.rkt line 4 col 16 - 1.0+2.0i - unboxed literal
+inexact-complex-fixnum.rkt line 4 col 25 - 3.0+6.0i - unboxed literal
 inexact-complex-fixnum.rkt line 4 col 1 - + - unboxed binary inexact complex
-inexact-complex-fixnum.rkt line 4 col 0 - (#%app + (#%app quotient (quote 2) (quote 1)) (quote 1.0+2.0i) (quote 3.0+6.0i)) - unboxed inexact complex
-6.0+8.0i
+inexact-complex-fixnum.rkt line 4 col 0 - (#%app + (#%app modulo (quote 2) (quote 1)) (quote 1.0+2.0i) (quote 3.0+6.0i)) - unboxed inexact complex
+4.0+8.0i