How to do signed operations on intbv

you instantiate it as: outX = intbv(0, min=-2**31, max=2**31)
The max value excludes the upper value