Re #7052 Add warning when dividing by zero
Merge remote branch 'origin/feature/7052_warn_on_divide_by_zero'