Searching in test/expressions/binary/div_by_zero