Quaternionic projective line