use Brent version of xorshift for K > 1