Reverse operators for SIGNEXTEND and bugfix for k > 2**64.

We checked two lines above that it is actually at most 30.