Benchmark precision

benchmarks/run.js

Index: benchmarks/run.js
diff --git a/benchmarks/run.js b/benchmarks/run.js
index da2373b84252447dea31648ca4bd8a9d00a967fc..ecfee90c6b718fe806f4a4451b6875002cbbab59 100644
--- a/benchmarks/run.js
+++ b/benchmarks/run.js
@@ -36,7 +36,7 @@ load('earley-boyer.js');
 var success = true;
 
 function PrintResult(name, result) {
-  print(name + ': ' + result);
+  print(name + ': ' + formatScore(result));
 }
 
 
@@ -49,7 +49,8 @@ function PrintError(name, error) {
 function PrintScore(score) {
   if (success) {
     print('----');
-    print('Score (version ' + BenchmarkSuite.version + '): ' + score);
+    print('Score (version ' + BenchmarkSuite.version + '): '
+          + formatScore(score));
   }
 }