diff --git a/src/util/numerics/CMakeLists.txt b/src/util/numerics/CMakeLists.txt
index 10131dce81..c122070c58 100644
--- a/src/util/numerics/CMakeLists.txt
+++ b/src/util/numerics/CMakeLists.txt
@@ -1 +1 @@
-add_library(numerics gmp_init.cpp mpz.cpp mpq.cpp mpbq.cpp numeric_traits.cpp)
+add_library(numerics gmp_init.cpp mpz.cpp mpq.cpp mpbq.cpp mpfp.cpp float.cpp double.cpp numeric_traits.cpp)