static double pi() {
  return Math.PI;
}