uint to uint32_t