Get the down value.
the value to shift down.
the greatest value lower than x.
Get the next value.
the value to shift up.
the least value greater than x.