[PPL-devel] Re: [SWIPL] Max integer and max tagged integer