See also this [1] blog post on the complementary operation -- propagating arithmetic bounds through bitwise arithmetic -- and my own post [2] on getting a tight

See also this [1] blog post on the complementary operation -- propagating arithmetic bounds through bitwise arithmetic -- and my own post [2] on getting a tighter bound on propagating bitwise bounds if you also know arithmetic bounds. [1] http://bitmath.blogspot.com/2023/07/propagating-bounds-through-bitwise.html http://bitmath.blogspot.com/2023/07/propagating-bounds-throu... [2] https://news.ycombinator.com/item?id=36967219 https://news.ycombinator.com/item?id=36967219