if (!(other instanceof DecimalValue)) { final ComputableValue n = (ComputableValue)this.convertTo(other.getType()); return ((ComputableValue)n).div(other); }
	public ComputableValue div(ComputableValue other) throws XPathException {		switch(other.getType()) {			//case Type.DECIMAL:				//return new DecimalValue(value.divide(((DecimalValue) other).value, BigDecimal.ROUND_HALF_UP));			case Type.INTEGER:				return div((ComputableValue) other.convertTo(getType()));			default: 				//Copied from Saxon 8.6.1			        int scale = Math.max(DIVIDE_PRECISION, Math.max(value.scale(), ((DecimalValue)other).value.scale()));				BigDecimal result = value.divide(((DecimalValue)other).value, scale, BigDecimal.ROUND_HALF_DOWN);				return new DecimalValue(result);				//End of copy						}			}