Division was defined as native procedure and multiplication as reverse
of it in arcs library.