Redefine division as quotient
Add voisin modifications