counting points at infinity in a different way