randseed needs int