Num cleanup

These may also be expressed as `self.div_rem(other).val0()`.