/// <summary>Reconstitutes the instance from a stream (that is, deserializes it).</summary>
/// <param name="s">the stream</param>
/// <exception cref="System.TypeLoadException">
/// if the class of a serialized object
/// could not be found
/// </exception>
/// <exception cref="System.IO.IOException">if an I/O error occurs</exception>
private void ReadObject(ObjectInputStream s)
{
s.DefaultReadObject();
Set(s.ReadDouble());
}
