Elliptic curves: point at infinity revisited