diff --git a/src/util/mpf.cpp b/src/util/mpf.cpp
index 96ff9a2b8..d77633780 100644
--- a/src/util/mpf.cpp
+++ b/src/util/mpf.cpp
@@ -1181,7 +1181,7 @@ void mpf_manager::to_ieee_bv_mpz(const mpf & x, scoped_mpz & o) {
     unsigned ebits = x.get_ebits();
     m_mpz_manager.set(o, sgn(x));
     m_mpz_manager.mul2k(o, ebits);
-    m_mpz_manager.add(o, exp(x), o);
+    m_mpz_manager.add(o, (int)exp(x), o);
     m_mpz_manager.mul2k(o, sbits - 1);
     m_mpz_manager.add(o, sig(x), o);
 }