assertTrue("a==b", a.equals(b));
assertTrue("a >> i == bi3", a.shiftRight(i).equals(bi3));
a = a.shiftLeft(1);
assertTrue("<<1 == *2", b.multiply(two).equals(a));
assertTrue("a non-neg", a.signum() >= 0);
assertTrue("a.bitCount==b.bitCount", a.bitCount() == b.bitCount());
BigInteger d = minusOne.shiftLeft(i);
assertTrue("c==d", c.equals(d));
c = c.shiftLeft(1);
assertTrue("<<1 == *2 negative", d.multiply(two).equals(c));