numbering in primality testing changed