uint32 to int