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

It looks suspicious. Explicitly stated conversion wouldn't be better? 

And what if `m_stack.back() * 8` overflows?