結果 : python decimal to string remove trailing zeros