diff --git a/src/util/mp_arith.h b/src/util/mp_arith.h
index 4093e480628..d20bb33f29a 100644
--- a/src/util/mp_arith.h
+++ b/src/util/mp_arith.h
@@ -52,18 +52,16 @@ const mp_integer string2integer(const std::string &, unsigned base=10);
 const std::string integer2binary(const mp_integer &, std::size_t width);
 const mp_integer binary2integer(const std::string &, bool is_signed);
 
-/// \deprecated use numeric_cast<unsigned long long> instead
-DEPRECATED("Use numeric_cast<unsigned long long> instead")
+/// \deprecated use numeric_cast_v<unsigned long long> instead
+DEPRECATED("Use numeric_cast_v<unsigned long long> instead")
 mp_integer::ullong_t integer2ulong(const mp_integer &);
 
-/// \deprecated use numeric_cast<std::size_t> instead
-DEPRECATED("Use numeric_cast<std::size_t> instead")
+/// \deprecated use numeric_cast_v<std::size_t> instead
+DEPRECATED("Use numeric_cast_v<std::size_t> instead")
 std::size_t integer2size_t(const mp_integer &);
 
-/// \deprecated use numeric_cast<unsigned> instead
-DEPRECATED("Use numeric_cast<unsigned> instead")
+/// \deprecated use numeric_cast_v<unsigned> instead
+DEPRECATED("Use numeric_cast_v<unsigned> instead")
 unsigned integer2unsigned(const mp_integer &);
 
-const mp_integer mp_zero=string2integer("0");
-
 #endif // CPROVER_UTIL_MP_ARITH_H