RFR: 8282365: Consolidate and improve division by constant idealizations [v44]

[Raffaello Giulietti]

On Wed, 24 Jan 2024 18:31:07 GMT, Raffaello Giulietti <rgiulietti at openjdk.org> wrote:

>> I've the impression that we can replace `m < c * d <= m + m / v` with the stricter `m < c * d < m + m / v` by using `N_neg - 1` instead of `N_neg`, but I need some time to have a solid proof.
>> 
>> That would simplify the code of the algorithm.
>
> But IMO the current algorithm is correct.

Nope, my impression [here](https://github.com/openjdk/jdk/pull/9947#discussion_r1465362000) turns out to be wrong.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/9947#discussion_r1467816736