diff --git a/library/math/package.scala b/library/math/package.scala
new file mode 100644
index 0000000000000000000000000000000000000000..04ec9e47583574122b7980e868487b4688f70e88
--- /dev/null
+++ b/library/math/package.scala
@@ -0,0 +1,10 @@
+package leon
+
+package object math {
+
+  def min(i1: Int, i2: Int) = if (i1 <= i2) i1 else i2
+  def max(i1: Int, i2: Int) = if (i1 >= i2) i1 else i2
+  def min(i1: BigInt, i2: BigInt) = if (i1 <= i2) i1 else i2
+  def max(i1: BigInt, i2: BigInt) = if (i1 >= i2) i1 else i2
+
+}