fix int to uint32 cast