結果 : java string format double remove trailing zeros