num: implement CheckedDiv
auto merge of #8459 : thestinger/rust/checked, r=graydon