Cast to uint32_t