diff --git a/.gitmodules b/.gitmodules
index c5d6623983..ca3678f2a3 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -571,3 +571,7 @@
 	path = libs/yap
 	url = ../yap.git
 	fetchRecurseSubmodules = on-demand
+[submodule "safe_numerics"]
+	path = libs/safe_numerics
+	url = ../safe_numerics.git
+	fetchRecurseSubmodules = on-demand
diff --git a/libs/safe_numerics b/libs/safe_numerics
new file mode 160000
index 0000000000..b9b394fe43
--- /dev/null
+++ b/libs/safe_numerics
@@ -0,0 +1 @@
+Subproject commit b9b394fe431fc122019298a25e9d46f9ad8f413a