Returns the Double value nearest to the value x in direction of negative infinity.
x
Usage: nextDown(x)
nextDown(x)