Refactors operator.def so that division can be encoded.