If you allow overflow in your module, and then another module uses yours but disallows overflow, what happens? Could the overflow behavior be encoded in an integer&#x27;s type to make this kind of code mixing explicit (via casts)?