/* This function is the same as nextafter so we use an alias there.  */