diff --git a/lib/Support/Timer.cpp b/lib/Support/Timer.cpp
index 3a81fc4b53f..96d92f97191 100644
--- a/lib/Support/Timer.cpp
+++ b/lib/Support/Timer.cpp
@@ -221,8 +221,9 @@ void TimerGroup::removeTimer() {
       std::cerr << "===" << std::string(73, '-') << "===\n"
                 << std::string(Padding, ' ') << Name << "\n"
                 << "===" << std::string(73, '-')
-                << "===\n  Total Execution Time: " << Total.getProcessTime()
-                << " seconds (" << Total.getWallTime()
+                << "===\n  Total Execution Time: " << std::fixed
+                << Total.getProcessTime()
+                << " seconds (" << Total.getWallTime() << std::scientific
                 << " wall clock)\n\n";
 
       if (Total.UserTime)
diff --git a/support/lib/Support/Timer.cpp b/support/lib/Support/Timer.cpp
index 3a81fc4b53f..96d92f97191 100644
--- a/support/lib/Support/Timer.cpp
+++ b/support/lib/Support/Timer.cpp
@@ -221,8 +221,9 @@ void TimerGroup::removeTimer() {
       std::cerr << "===" << std::string(73, '-') << "===\n"
                 << std::string(Padding, ' ') << Name << "\n"
                 << "===" << std::string(73, '-')
-                << "===\n  Total Execution Time: " << Total.getProcessTime()
-                << " seconds (" << Total.getWallTime()
+                << "===\n  Total Execution Time: " << std::fixed
+                << Total.getProcessTime()
+                << " seconds (" << Total.getWallTime() << std::scientific
                 << " wall clock)\n\n";
 
       if (Total.UserTime)