random32: seeding improvement