On Fri, 11 Oct 2024 19:09:50 GMT, Raffaello Giulietti <rgiulie...@openjdk.org>
wrote:
>> As I asked above, what's the property that should hold?
>> 5^`maxPowsOf5` <= `intVal` < 5^(`maxPowsOf5` + 1)?
>
> Sorry, this is not a good question, disregard.
> As I asked above, what's the property that should hold? 5^`maxPowsOf5` <=
> `intVal` < 5^(`maxPowsOf5` + 1)?
Yes, as `floor(log5(intVal)) == max{integer n : 5^n <= intVal}`.
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/21323#discussion_r1797347733
