static double sqrt3() {
  ret Math.sqrt(3);
}