chg: use a not necessarily squarefree norm in factorization over number fields