static Pt toPt_round(IDoublePt pt) {
  ret pt(iround(pt.x_double()), iround(pt.y_double()));
}