Re: [PPL-devel] Re: Integers as bit arrays