Bash number comparison done right