Placeholder implementation of division operator
Modify normal form, rename scalar part numerator