F_TYPE nextafter (F_TYPE x, F_TYPE y)
Exceptional Argument Routine Behavior x = max_float and y = +infinity Overflow x = -max_float and y = -infinity Overflow x = min_float and y is less than or Underflow equal to 0 x = -min_float and y is greater Underflow than or equal to 0