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