How to do signed operations on intbv

[josyb]

@saudalwasly

outX = intbv(0, min=-2**31, max=2**31-1)

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