Re #7052 Add warning when dividing by zero
Merge branch 'feature/7052_warn_on_divide_by_zero' into develop