Fix warn_div_by_zero(): The result of the division might be int and the divisor non...