From 38a896d67215505e47e237fa154cbf407651f287 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 4 Feb 2019 13:40:16 +0100
Subject: [PATCH] [Stdlib] Uses native Zarith to_int functions.

These functions raises Z.Overflow instead of Failure when the integer is too big
to be represented as an ocaml integer.
---
 src/libraries/stdlib/integer.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/libraries/stdlib/integer.ml b/src/libraries/stdlib/integer.ml
index b0fef64641f..e6ac8c03d77 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
-- 
GitLab