uint32 to uint