meta-for DoublePt also as IDoublePt {
  static DoublePt addDoublePts(DoublePt a, DoublePt b) {
    ret a == null ? b : b == null ? a : doublePt(a.x_double()+b.x_double(), a.y_double()+b.y_double());
  }
}