don't use volatile.
add nextafter declaration.