benchmark: output int

diff --git a/contrib/benchmark/collect.awk b/contrib/benchmark/collect.awk
index 5afa093e2383e798565f50deab1c6e95fb9c801a..16f2e700c2209b3eda094b90fac37578bf59b589 100644 (file)
--- a/contrib/benchmark/collect.awk
+++ b/contrib/benchmark/collect.awk
@@ -105,6 +105,6 @@ END {
     for (x in op) {
       total_ops_adjusted += op_baseline[x] * op[x]["count"];
     }
-    print "total_ops_adjusted_ms", total_ops_adjusted;
+    print "total_ops_adjusted_ms", int(total_ops_adjusted);
   }
 }