On Mon, 8 Sep 2025 14:58:19 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
>> fabioromano1 has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Revision changes > > @jddarcy @fabioromano1 It seems that `MutableBigInteger.valueOf()` is not > used. @rgiulietti So it's time to remove `MutableBigInteger.valueOf()` or is it better to leave it because it could be useful for casting `double` values into `MutableBigInteger`s? ------------- PR Comment: https://git.openjdk.org/jdk/pull/24898#issuecomment-3266747155
