mysql数字格式化千分号的问题，即每三位一个逗号