diff --git a/src/util/mpf.cpp b/src/util/mpf.cpp
index ebbf235fbab..6841031c300 100644
--- a/src/util/mpf.cpp
+++ b/src/util/mpf.cpp
@@ -1630,11 +1630,7 @@ std::string mpf_manager::to_string_hexfloat(mpf const & x) {
                                     std::ios_base::showpoint | std::ios_base::showpos);
     ss.setf(ff);
     ss.precision(13);
-#if defined(_WIN32) && _MSC_VER >= 1800
     ss << std::hexfloat << to_double(x);
-#else
-    ss << std::hex << (*reinterpret_cast<const unsigned long long *>(&(x)));
-#endif
     return ss.str();
 }