linux数字比较大小