NEXT_DOWN

Returns the Double value nearest to the value x in direction of negative infinity.

Usage: nextDown(x)

See also