static DoublePt doublePt(double x, double y default x) {
  ret DoublePt(x, y);
}