[PPL-devel] Re: Bignums