static DoublePt translateDoublePt(Pt a, DoublePt b) {
  ret new DoublePt(a.x+b.x, a.y+b.y);
}