add @Seed for breaking double generator test
fixed occasional failure in double tests