Pub use CheckedDiv in the prelude
auto merge of #14789 : aochagavia/rust/prelude, r=alexcrichton