BigInteger m4 = new BigInteger("-4");
harness.check(p4.divide(p2).equals(p2));
harness.check(m4.divide(p2).equals(m2));
harness.check(p4.divide(m2).equals(m2));
harness.check(m4.divide(m2).equals(p2));
harness.check(p1.divide(p2).equals(BigInteger.ZERO));
harness.check(m1.divide(p2).equals(BigInteger.ZERO));
harness.check(p1.divide(m2).equals(BigInteger.ZERO));
harness.check(m1.divide(m2).equals(BigInteger.ZERO));