diff --git a/src/utils/variable-number.hpp b/src/utils/variable-number.hpp
index 38c9ba54..c0b41884 100644
--- a/src/utils/variable-number.hpp
+++ b/src/utils/variable-number.hpp
@@ -36,4 +36,7 @@ private:
 
 #include "variable-number.tpp"
 
+using IntVariable = NumberVariable<int>;
+using DoubleVariable = NumberVariable<double>;
+
 } // namespace advss