[PPL-devel] Re: Coefficient sizes