Why is division by zero not defined?