unsigned int to uin32_t