Consider an $ [\![n,k]\!] $$ ((n,K=2^k,d)) $ non-stabilizer code. The weight enumerator coefficients are $$ A_j:=\frac{1}{(2^k)^2} \sum_{p \in P_n,\,\mathrm{wt}(p)=j} |\mathrm{tr}(p \Pi)|^2 $$ where $ \Pi $ is the projector onto the code subspace.
Are the $ A_j $ always integers?
For stabilizer codes this is true see Are the coefficients of the weight enumerator polynomial of a stabilizer code always integers?
Is it the case that the $ A_j $ are always integers for non-stabilizer codes as well? If not, what is an example of a non-stabilizer code with $ A_j $ not integers?