Add division by zero case to the `CheckedDiv` comment
auto merge of #16364 : tbu-/rust/pr_checkeddiv0, r=alexcrichton