diff --git a/src/top/zarith_top.mli b/src/top/zarith_top.mli
new file mode 100644
index 0000000..73fead3
--- /dev/null
+++ b/src/top/zarith_top.mli
@@ -0,0 +1,8 @@
+(*
+  This file is part of the Zarith library
+  http://forge.ocamlcore.org/projects/zarith .
+  It is distributed under LGPL 2 licensing, with static linking exception.
+  See the LICENSE file included in the distribution.
+*)
+
+(* This interface is deliberately empty *)