Computes the minimum of this and another DD number.
@param x a DD number @return the minimum of the two numbers
DD min(DD x) { if (this.le(x)) { return this; } else { return x; } }