nextDown

Calculate the next smallest floating point value before x.

Return the greatest number less than x that is representable as a real; thus, it gives the previous point on the IEEE number line.

Special Values
xnextDown(x)
real.max
±0.0-real.min_normal*real.epsilon
-real.max-∞
-∞-∞
NaNNaN

Remarks: This function is included in the IEEE 754-2008 standard.

nextDoubleDown and nextFloatDown are the corresponding functions for the IEEE double and IEEE float number lines.

  1. real nextDown(real x)
    real
    nextDown
    (
    real x
    )
  2. double nextDoubleDown(double x)
  3. float nextFloatDown(float x)

Meta