public RangedAdjustablePropertyValue(DoubleRange range, double value)
        {
            Contract.Requires(!range.IsFixed);
            Contract.Requires(range.IsIn(value));

            Range = range;
            this.value = value;
        }