Weil divisors