把数字格式化成带有分号的字符串

我们通常要界面把数字分成带符号的字符串，比如把10001110023显示成10，001，110，023的字符串。我们通常要界面把数字分成带符号的字符串，比如把10001110023显示成10，001，110