Right, so the point is that those elements of  which do fix the real line are the real homographies. This is the way to find out that the isometry group of the hyperbolic plane is  - I don't know of another way to prove this, offhand. It's also the view universally taken in the study of Riemann surfaces and analytic number theory.