num: implement CheckedDiv