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