static double positiveInfinity() {
  ret Double.POSITIVE_INFINITY;
}