diff --git a/src/monomorphic/CCMonomorphic.ml b/src/monomorphic/CCMonomorphic.ml
index ce484654..c1720ccb 100644
--- a/src/monomorphic/CCMonomorphic.ml
+++ b/src/monomorphic/CCMonomorphic.ml
@@ -7,8 +7,19 @@ let ( > ) : int -> int -> bool = Stdlib.( > )
 let ( <= ) : int -> int -> bool = Stdlib.( <= )
 let ( >= ) : int -> int -> bool = Stdlib.( >= )
 let compare : int -> int -> int = Stdlib.compare
+
+[@@@ifge 4.13]
+
+let min : int -> int -> int = Int.min
+let max : int -> int -> int = Int.max
+
+[@@@else_]
+
 let min : int -> int -> int = Stdlib.min
 let max : int -> int -> int = Stdlib.max
+
+[@@@endif]
+
 let ( =. ) : float -> float -> bool = Stdlib.( = )
 let ( <>. ) : float -> float -> bool = Stdlib.( <> )
 let ( <. ) : float -> float -> bool = Stdlib.( < )