Merge branch 'pregmod-master' into 'pregmod-master'

missing function

See merge request pregmodfan/fc-pregmod!1036

src/js/utilJS.tw

@@ -378,6 +378,13 @@ window.Categorizer.prototype.cat = function(val, def) {
 	return result;
 };
 
+
+window.isFloat = function(n){
+    return n === +n && n !== (n|0);
+}
+window.isInt = function(n) {
+    return n === +n && n === (n|0);
+}
 window.numberWithCommas = function(x) {
     return x.toString().replace(/\B(?=(\d{3})+(?!\d))/g, ",");
 }