> > self < 0 ifTrue: [^0 - (self negated bitShift: arg)].
> This "solution", which is OK from a mathematical point of view, has an

Actually it's not OK (which is why you get the improper store).  It only
works for left shifts.  I'll keep quiet on this until I've figured out a
solution that really does work...

Later,

Ian