160161162163164165166
private BigInteger() { super(); if (USING_NATIVE) mpz = new GMP(); }
26362637263826392640264126422643264426452646
private void readObject(ObjectInputStream s) throws IOException, ClassNotFoundException { if (USING_NATIVE) { mpz = new GMP(); s.defaultReadObject(); if (signum != 0) mpz.fromByteArray(magnitude); // else it's zero and we need to do nothing }