nextafter
double nextafter(double, double);
extern double nextafter(double, double);
using ::nextafter;