invalid namespace in nextafter