test random 64-bit prime, too