将数字格式化为指定长度的字符串