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.

float
nextFloatDown
(
float x
)

Meta