Improve documentation of checked_* functions
Update comment to current file path for intrinsics
auto merge of #19468 : victorvde/rust/master, r=Gankro

1. Made small improvements to the docs for checked_sub, checked_mul and checked_div.
2. Updated a confusingly outdated comment for intrinsics, noticed before at <https://stackoverflow.com/questions/23582931/>.