add dot.Util.isInteger