<i18n dev> RFR: 8300869: Make use of the Double.toString(double) algorithm in java.util.Formatter [v4]

[Raffaello Giulietti]

On Mon, 30 Jan 2023 14:33:06 GMT, Raffaello Giulietti <rgiulietti at 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