Fixed case where nf poly is monic over ZZ and elems are over Q.