static double negativeInfinity() {
  ret Double.NEGATIVE_INFINITY;
}