static double minusInfinity() {
  ret negativeInfinity();
}