Protect from division by zero in PrCounter2 (@sstahl)

Marco Cattaneorequested to merge
cherry-pick-d810b1b2 into 2018-patches

Cherry picked from !1088 (merged) in master

Edited by Marco Cattaneo

Merge request reports