Rollup merge of #144947 - tautschnig:remove-stray-checked_div-comment, r=Mark-Simulacrum

Fix description of unsigned `checked_exact_div`

Like its signed counterpart, this function does not panic. Also, fix the examples to document how it returns Some/None.

Author: Zalathar