add header for Windows _nextafter