Fix core::num::CheckedDiv::checked_div documentation
#18421
Merged
core::num::CheckedDiv::checked_div documentation
#18421