get_pretty_str_from_float replaced with get_pretty_str_from_double to not lose precision

Author: w0lek

vpr/src/server/convertutils.cpp

@@ -16,7 +16,7 @@ std::optional<int> try_convert_to_int(const std::string& str) {
     }
 }
 
-static std::string get_pretty_str_from_float(float value) {
+static std::string get_pretty_str_from_double(double value) {
     std::ostringstream ss;
     ss << std::fixed << std::setprecision(2) << value;  // Set precision to 2 digit after the decimal point
     return ss.str();
@@ -25,7 +25,7 @@ static std::string get_pretty_str_from_float(float value) {
 std::string get_pretty_duration_str_from_ms(int64_t duration_ms) {
     std::string result;
     if (duration_ms >= 1000) {
-        result = get_pretty_str_from_float(duration_ms / 1000.0f) + " sec";
+        result = get_pretty_str_from_double(duration_ms / 1000.0) + " sec";
     } else {
         result = std::to_string(duration_ms);
         result += " ms";
@@ -36,11 +36,11 @@ std::string get_pretty_duration_str_from_ms(int64_t duration_ms) {
 std::string get_pretty_size_str_from_bytes_num(int64_t bytes_num) {
     std::string result;
     if (bytes_num >= 1024*1024*1024) {
-        result = get_pretty_str_from_float(bytes_num / float(1024*1024*1024)) + "Gb";
+        result = get_pretty_str_from_double(bytes_num / double(1024*1024*1024)) + "Gb";
     } else if (bytes_num >= 1024*1024) {
-        result = get_pretty_str_from_float(bytes_num / float(1024*1024)) + "Mb";
+        result = get_pretty_str_from_double(bytes_num / double(1024*1024)) + "Mb";
     } else if (bytes_num >= 1024) {
-        result = get_pretty_str_from_float(bytes_num / float(1024)) + "Kb";
+        result = get_pretty_str_from_double(bytes_num / double(1024)) + "Kb";
     } else {
         result = std::to_string(bytes_num) + "bytes";
     }