Re: [PPL-devel] Question about converting integers in PPL