On Tue, 29 Jul 2025 14:19:19 GMT, fabioromano1 <d...@openjdk.org> wrote:
>> fabioromano1 has updated the pull request incrementally with one additional
>> commit since the last revision:
>>
>> Comment
>
> src/java.base/share/classes/java/math/MutableBigInteger.java line 2022:
>
>> 2020: } else { // x >> (sh-ex) could exceed finite double range,
>> may lose precision
>> 2021: // Shift the value into finite double range
>> 2022: // x >> sh < 2^(bl-sh) = 2^(bl-(bl-P)) = 2^P <
>> Double.MAX_VALUE
>
> @rgiulietti By the comment in the then-case, I think this is sufficient to
> understand.
Here we have a kind of opposite case: rad can become very imprecise, up to
losing all bits from x and become 0.
I think this deserves a quick comment.
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/24898#discussion_r2240080558
