Fix `core::num::CheckedDiv::checked_div` documentation

The "/" was probably generated by a `gq` in vim.