On Tue, 9 Jul 2024 18:14:03 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
>> fabioromano1 has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Ensure normalized value in MutableBigInteger initialization with ints > > Everything not obvious that departs from the paper by Bertot, Magaud and > Zimmermann should be commented. > Unfortunately, I can't say precisely what and to which extent until I see a > first version. @rgiulietti I added a comment with the considerations on normalization in the code. ------------- PR Comment: https://git.openjdk.org/jdk/pull/19710#issuecomment-2220230697