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