On Mon, 30 Jan 2023 14:33:06 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
>> Align `double` and `float` decimal conversions in `java.util.Formatter` with >> the algorithm used in `Double.toString(double)`. > > Raffaello Giulietti has updated the pull request incrementally with one > additional commit since the last revision: > > 8300869: Make use of the Double.toString(double) algorithm in > java.util.Formatter The CSR has been added. It covers both a behavioral change due to the implementation change in this PR, _and_ a specification change to align it with the implementation (current and proposed), resolving a long standing mismatch in the `e`, `f`, and `g` conversions on `float` values. ------------- PR: https://git.openjdk.org/jdk/pull/12259
