Random.Xor128: fix document