projective arithmetic works