static double infinity() {
  ret positiveInfinity();
}