Add Well19937a and Well19937c PRNGs