shell判断是否为int类型