Round up banner numbers to two digits

shesek · shesek · commit 97250c8a42ff · 2020-11-24T14:17:54.000+02:00
diff --git a/src/util/banner.rs b/src/util/banner.rs
@@ -216,7 +216,9 @@ fn format_metric(num: f64, space: &str, suf: &str) -> String {
     } else if num >= 1000f64 {
         format!("{:.1}{}K{}", num / 1000f64, space, suf)
     } else {
-        format!("{}{}{}", num, space, suf)
+        // Rounded to two digits, printed without trailing zeroes
+        let num_rounded = (num * 100.0).round() / 100.0;
+        format!("{}{}{}", num_rounded, space, suf)
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -216,7 +216,9 @@ fn format_metric(num: f64, space: &str, suf: &str) -> String {`
`216`	`216`	`} else if num >= 1000f64 {`
`217`	`217`	`format!("{:.1}{}K{}", num / 1000f64, space, suf)`
`218`	`218`	`} else {`
`219`		`- format!("{}{}{}", num, space, suf)`
	`219`	`+ // Rounded to two digits, printed without trailing zeroes`
	`220`	`+ let num_rounded = (num * 100.0).round() / 100.0;`
	`221`	`+ format!("{}{}{}", num_rounded, space, suf)`
`220`	`222`	`}`
`221`	`223`	`}`
`222`	`224`