The Projective Line over the Integers