結果 : how to format double output in java