History math/bug-nextafter.c