see https://github.com/starkware-libs/cairo/issues/7543 example : https://github.com/starkware-libs/stwo-cairo/tree/main/stwo_cairo_verifier/crates/bounded_int