if (Type.subTypeOf(other.getType(), Type.DOUBLE)) return new DoubleValue(value * ((DoubleValue) other).value); else return ((ComputableValue) convertTo(other.getType())).mult(other);
switch(other.getType()) { case Type.DOUBLE: return new DoubleValue(value * ((DoubleValue) other).value); case Type.DAY_TIME_DURATION: case Type.YEAR_MONTH_DURATION: return other.mult(this); default: return ((ComputableValue) convertTo(other.getType())).mult(other); }
	public ComputableValue mult(ComputableValue other) throws XPathException {		if (Type.subTypeOf(other.getType(), Type.DOUBLE))			return new DoubleValue(value * ((DoubleValue) other).value);		else			return ((ComputableValue) convertTo(other.getType())).mult(other);	}