code: private void writeObject(java.io.ObjectOutputStream s)
        throws java.io.IOException {
      s.defaultWriteObject();
  
      s.writeDouble(get());
    }
docs: Saves the state to a stream (that is, serializes it).
  
  @serialData The current value is emitted (a {@code double}).