}
  private void readObject(ObjectInputStream s)    throws IOException, ClassNotFoundException  {    s.defaultReadObject();    words = byteArrayToIntArray(magnitude, signum < 0 ? -1 : 0);    BigInteger result = make(words, words.length);    this.ival = result.ival;    this.words = result.words;  }