The JDK-internal utility class FpUtils includes methods for computing "nextDown," the floating-point next closes to zero and isFinite. (The if-finite predicate is *not* !isInfinite because of NaNs.)

These methods are used by a number of classes in the JDK, either the sources or the tests, and should be promoted to java.lang.* proper.