Point_2< Cartesian<Exact_NT> > p(1.0, 1.0), q; Vector2< Cartesian<Exact_NT> > v; v = p - ORIGIN; q = ORIGIN + v; assert( p == q );