code: public static DoubleBinding nextDown(final ObservableDoubleValue d) {
          return createDoubleBinding(() -> Math.nextDown(d.get()), d);
      }
docs: Binding for {@link java.lang.Math#nextDown(double)}
  
  @param d  starting floating-point value
  @return The adjacent floating-point value closer to negative
  infinity.