keep original form of Factors with fewer mods

div and normal are basically doing the same thing but in slightly
different ways:

1) div raises an error if other is 0
2) div expects few things in common while normal expect many in common