diff --git a/src/api/python/z3/z3num.py b/src/api/python/z3/z3num.py
index c8f15e7b8..2943b0796 100644
--- a/src/api/python/z3/z3num.py
+++ b/src/api/python/z3/z3num.py
@@ -10,6 +10,8 @@ from .z3core import *
 from .z3printer import *
 from fractions import Fraction
 
+from .z3 import _get_ctx
+
 def _to_numeral(num, ctx=None):
     if isinstance(num, Numeral):
         return num