用逗号将数字打印为Python中的数千个分隔符