interface IDoublePt {
  public double x_double();
  public double y_double();
}