diff --git a/probably/pgcl/check.py b/probably/pgcl/check.py
index 43169cf..ece3e1e 100644
--- a/probably/pgcl/check.py
+++ b/probably/pgcl/check.py
@@ -158,7 +158,7 @@ def get_type(program: Program,
 
         if check and expr.operator in [
                 Binop.LEQ, Binop.LT, Binop.GEQ, Binop.GT, Binop.EQ, Binop.PLUS,
-                Binop.MINUS, Binop.TIMES, Binop.MODULO, Binop.POWER
+                Binop.MINUS, Binop.TIMES, Binop.MODULO, Binop.POWER, Binop.DIVIDE
         ]:
             rhs_typ = get_type(program, expr.rhs, check=check)
             if isinstance(rhs_typ, CheckFail):
@@ -177,7 +177,7 @@ def get_type(program: Program,
 
         # binops that take numeric operands and return a numeric value
         if expr.operator in [
-                Binop.PLUS, Binop.MINUS, Binop.TIMES, Binop.MODULO, Binop.POWER
+                Binop.PLUS, Binop.MINUS, Binop.TIMES, Binop.MODULO, Binop.POWER, Binop.DIVIDE
         ]:
             # intentionally lose the bounds on NatType (see NatType documentation)
             if isinstance(lhs_typ, NatType) and lhs_typ.bounds is not None: