[#2102] Check major, minor number indep. in bash arithmetic mode