public interface ThreeDecimal
{
  public void setValue(double val);
  //pre: val is a number between 0 and 1
  //post: stores the first 3 decimals of val

  public double getValue();
  //pre: setValue has been called with valid input
  //post: returns the value stored by ThreeDecimal in type double

  public ThreeDecimal max(ThreeDecimal other);
  //pre: other is not null
  //post: returns a ThreeDecimal whose value is the max value of this and other

}