Use ldiv instead instead of rdiv in naivesub to avoid assuming commutativity of multiplication