Closed abolz closed 4 years ago
multipleOfPowerOf2 only works for exponents < 64.
In this case here we have 0 < m10 < 2^64, so m10 can never be a multiple of 2^p if p >= 64.
Thanks!
multipleOfPowerOf2 only works for exponents < 64.
In this case here we have 0 < m10 < 2^64, so m10 can never be a multiple of 2^p if p >= 64.