yeah, makes sense to delete this part. we really don't need this test. I clearly didn't think that much when I wrote the random package tests... many naive mistakes (like not mocking the PRNG).