https://github.com/CrocSwap/integer-mult-bounds/pulls
https://github.com/CrocSwap/integer-mult-bounds
btw people has massively improved the lower bound (from 1-2^-182 to about 1-2^-10) in the past couple of days: https://github.com/CrocSwap/integer-mult-bounds
https://github.com/CrocSwap/integer-mult-bounds/pulls