Java Math nextDown()方法在负无穷大的方向上返回与指定参数相邻的数字。
也就是说，如果参数为6.7，则在负无穷大方向上的相邻数字6.7为6.699999999999999。
nextDown()方法的语法为：
Math.nextDown(start)
注意：nextDown()方法是静态方法。因此，我们可以使用类名Math直接调用该方法。
start -要返回相邻数字的起始数字
注意：start的数据类型可以是float或double。
返回与start负负无穷大相邻的数字
如果start为NaN，则返回NaN
如果start为负无穷，则返回负无穷
注意：nextDown()方法等效于Math.nextAfter(start,Double.Negative_INFINITY)。
class Main {
public static void main(String[] args) {
// float 参数
float start1 = 7.9f;
System.out.println(Math.nextDown(start1)); // 7.8999996
// double 参数
double start2 = 7.9;
System.out.println(Math.nextDown(start2)); // 7.8999999999999995
//正无穷大
double infinity = Double.NEGATIVE_INFINITY;
System.out.println(Math.nextDown(infinity)); // -Infinity
// NaN
double nan = Math.sqrt(-5);
System.out.println(Math.nextDown(nan)); // NaN
}
}在这里，我们使用了Java Math.sqrt(-5)方法来计算-5的平方根。由于负数的平方根不是数字，因此Math.nextDown(nan)返回NaN。
Double.NEGATIVE_INFINITY是Double类的一个字段，使我们可以在程序中实现无穷大。