Fix bug 18751: pattern sieving mod 3 was incorrect on 32-bit machines
Fix bug 18751: pattern sieving mod 3 was incorrect on 32-bit machines

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs