Benchmark precision

benchmarks/run.html

Index: benchmarks/run.html
diff --git a/benchmarks/run.html b/benchmarks/run.html
index 01cadc0d2f538c9fed2c08f5cd1a667f8bbc257a..d521e0b37c52607f57d221002114becf92fa0d5a 100644
--- a/benchmarks/run.html
+++ b/benchmarks/run.html
@@ -21,7 +21,7 @@ function ShowProgress(name) {
 
 
 function AddResult(name, result) {
-  var text = name + ': ' + result;
+  var text = name + ': ' + formatScore(result);
   var results = document.getElementById("results");
   results.innerHTML += (text + "<br/>");  
 }
@@ -36,7 +36,7 @@ function AddError(name, error) {
 function AddScore(score) {
   var status = document.getElementById("status");
   if (success) {
-    status.innerHTML = "Score: " + score;
+    status.innerHTML = "Score: " + formatScore(score);
   }
 }