check if string `a` is an integer,a.isdigit()