slightly more correct Rng.prime, note Pocklington
original oakley groups
dh sanity check