在Python中查找带有千位分隔符的数字的程序