Add Number.isInteger polyfill to displayed html

examples/templates/example.html

@@ -192,9 +192,9 @@
     <meta charset="UTF-8">
     <title>{{ title }}</title>
     <!-- Pointer events polyfill for old browsers, see https://caniuse.com/#feat=pointer -->
-    <script src="https://unpkg.com/elm-pep"></script>{{#if extraHead.remote}}
+    <script src="https://unpkg.com/elm-pep"></script>
     <!-- The line below is only needed for old environments like Internet Explorer and Android 4.x -->
-    <script src="https://cdn.polyfill.io/v3/polyfill.min.js?features=fetch,requestAnimationFrame,Element.prototype.classList,URL,TextDecoder"></script>
+    <script src="https://cdn.polyfill.io/v3/polyfill.min.js?features=fetch,requestAnimationFrame,Element.prototype.classList,URL,TextDecoder,Number.isInteger"></script>{{#if extraHead.remote}}
 {{ indent extraHead.remote spaces=4 }}{{/if}}
     <style>
       .map {