math_lib nextup nextafter ulp for double's