系统提供数值格式化函数吗？例如，将【12114.5】格式化为【12,114.50】。