Non-regression test for bug "ZeroDivisionError"