Gartner is worth around $24.9 billion dollars.