diff --git a/library/computable-reals/computable-reals.lisp b/library/computable-reals/computable-reals.lisp
index ed02ba4a..6b4d1b73 100644
--- a/library/computable-reals/computable-reals.lisp
+++ b/library/computable-reals/computable-reals.lisp
@@ -104,6 +104,12 @@ This threshold is used to ensure `Eq` and `Ord` instances terminate. (In general
       (lisp Creal (n)
         (cr:/r n)))))
 
+(coalton-toplevel
+
+  (define-instance (Dividable Integer CReal)
+    (define (general/ a b)
+      (/ (fromint a) (fromint b)))))
+
 (coalton-toplevel
   
   (define-instance (math:Exponentiable Creal)