an attempt to introduce better normalization for polynomials over number fields. Seems to work well in selected examples...