return ((ComputableValue) convertTo(other.getType())).div(other);
return div((ComputableValue)other.convertTo(getType()));
	public ComputableValue div(ComputableValue other) throws XPathException {		if (Type.subTypeOf(other.getType(), Type.FLOAT))			return new FloatValue(value / ((FloatValue) other).value);		else			return ((ComputableValue) convertTo(other.getType())).div(other);	}