Rewriting operator != in BigInteger to be in terms of !(BigInteger a == BigInteger b)