static DoublePt rotateClockwise_radians(double angle, double x, double y) {
  double sin = sin(angle), cos = cos(angle);
  ret doublePt(x*sin+y*cos, y*sin-x*cos);
}