scala 格式化数字类型