static Pt ptDiff(Pt a, Pt b) {
  ret a == null ? b : b == null ? a : pt(a.x-b.x, a.y-b.y);
}