RFR: 8077587: BigInteger Roots [v23]

[fabioromano1]

On Mon, 14 Jul 2025 15:52:19 GMT, fabioromano1 <duke at openjdk.org> wrote:

> This is my hunch as well. So while the use of `nextUp()` and `ceil()` certainly help to achieve an overestimate, I'm less sure that this is sufficient when using `pow()`. If the latter has some error bigger than a few ulps, then we are in trouble.

@rgiulietti Anyway, if `Math.pow()` does not respect the specifications, an overestimate is guaranteed to be found taking the ceil integer part of the division in the first iteration of the recurence, rather than the floor integer part.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/24898#discussion_r2205343348