Nicholas writes: > I can't really see how you can rotate a bignum that doesn't have a width > already associated with it.
Maybe that's the answer: unless a bignum has a limit set on it, rotate is shift ('we're just rotating a really, really large number...') F.