From eba29a280d97ca2b1cdf4f33ca145f557c96c063 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Fri, 29 Jul 2022 16:49:56 +0700
Subject: [PATCH] Use std::hexfloat more. (#6203)

Previously, we were only using std::hexfloat on Windows on VS2013
and later.

Since std::hexfloat is part of C++11 and we require C++11 to build
the Z3 library, this should be supported everywhere.
---
 src/util/mpf.cpp | 4 ----
 1 file changed, 4 deletions(-)

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();
 }