sMax method

BitVecNumeral sMax()

The largest signed value i.e. ~msb.

Implementation

BitVecNumeral sMax() =>
    BitVecNumeral((BigInt.one << (size - 1)) - BigInt.one, this);