diff --git a/src/libraries/stdlib/integer.ml b/src/libraries/stdlib/integer.ml
index b0fef64641fe0da44eb43ddaf914eee0d06e9fa0..e6ac8c03d7742176424a2b04d138482c6ffbc3e6 100644
--- a/src/libraries/stdlib/integer.ml
+++ b/src/libraries/stdlib/integer.ml
@@ -91,9 +91,9 @@ let of_int = Z.of_int
 let of_int64 = Z.of_int64
 let of_int32 = Z.of_int32
 
-let to_int = Big_int_Z.int_of_big_int
-let to_int64 = Big_int_Z.int64_of_big_int
-let to_int32 = Big_int_Z.int32_of_big_int
+let to_int = Z.to_int
+let to_int64 = Z.to_int64
+let to_int32 = Z.to_int32
 
 let of_string = Z.of_string
 let to_string = Z.to_string