设置宽度和精度以格式化Java输出