This resolves #564.
Remove 32-bit variant, convert prng64() to prng_lg_range(), and add prng_range().