Division by zero is bad.