diff --git a/common/content/options.js b/common/content/options.js
index 87f2846e..3baad600 100644
--- a/common/content/options.js
+++ b/common/content/options.js
@@ -854,8 +854,8 @@ const Options = Module("options", {
                             value = true;
                         else if (value == "false")
                             value = false;
-                        else if (/^[+-]?\d+$/.test(value))
-                            value = parseInt(value, 10);
+                        else if (!isNaN(value))
+                            value = parseInt(value);
                         else
                             value = Option.dequote(value);