static DoublePt toDoublePt(Pt p) {
  ret p == null ?: DoublePt(p.x, p.y);
}