Convert BitVec expressions value to the arithmetic Int expressions. When isSigned is set, the sign (highest, leftmost) bit is treated as the value sign.