Keep results after point_add() and point_double() inside the finite field. Simplified point_is_negative_of().