nextFloatDown

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)
  2. double nextDoubleDown(double x)
  3. float nextFloatDown(float x)
    float
    nextFloatDown
    (
    float x
    )

Meta