Use explicit uint32_t in random