disnan.f(3) on Linux

The text de5137e9a051, as Debian 9 (Stretch) shipped it.

disnan.f(3) on Linux now