+ random number generator (xorshift128)