#include <stdio.h>
#include <math.h>
int main(int argc, char **argv)
{
printf ("nextafter(0.0, 1.0) = %e\n", nextafter(0.0, 1.0));
printf ("nextafter(0.0, -1.0) = %e\n", nextafter(0.0, -1.0));
printf ("nextafter(0.1, 0) = %e\n", nextafter(0.1, 0));
return 0;
}
/*
run:
nextafter(0.0, 1.0) = 4.940656e-324
nextafter(0.0, -1.0) = -4.940656e-324
nextafter(0.1, 0) = 1.000000e-001
*/