Use String(val) instead of val.toString().

This seems to be a little faster in current JavaScript implementation of
webkit.

diff --git a/src/hints.js b/src/hints.js
index f58c0ab..0486714 100644 (file)
--- a/src/hints.js
+++ b/src/hints.js
@@ -266,7 +266,7 @@ Object.freeze((function(){
                 /* assign the new hint number to the hint */
                 hint.num = num;
                 /* check for number filter */
-                if (!filterNum || 0 === num.toString().indexOf(filterNum.toString())) {
+                if (!filterNum || 0 === String(num).indexOf(String(filterNum))) {
                     hint.show();
                     validHints.push(hint);
                 } else {