[PATCH] format benchtest outputs.

[Ondřej Bílka]

Hi,

This changes format specifier in benchtest to have fixed decimal point
which makes results easier to read.

OK to commit?

	* benchtests/bench-timing.h: Format outputs.
diff --git a/benchtests/bench-timing.h b/benchtests/bench-timing.h
index 009813b..a6963ea 100644
--- a/benchtests/bench-timing.h
+++ b/benchtests/bench-timing.h
@@ -72,4 +72,4 @@ typedef uint64_t timing_t;
 #endif
 
 #define TIMING_PRINT_MEAN(d_total_s, d_iters) \
-  printf ("\t%g", (d_total_s) / (d_iters))
+  printf (" %10.2f", (d_total_s) / (d_iters))