code: private void readObject(java.io.ObjectInputStream s)
        throws java.io.IOException, ClassNotFoundException {
      s.defaultReadObject();
  
      set(s.readDouble());
    }
docs: Reconstitutes the instance from a stream (that is, deserializes it).