tor/changes/bug13290-avoid-div-zero-circuitstatus-pareto