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