aDriv4 - MANAGER

Edit File: isnumeric.awk

# isnumeric --- check whether a value is numeric function isnumeric(x, f) { switch (typeof(x)) { case "strnum": case "number": return 1 case "string": return (split(x, f, " ") == 1) && (typeof(f[1]) == "strnum") default: return 0 } }