be explicit about integer types used for rng seed