fdimf(3) on Linux

The text 7d34f2b0d975, as Debian 8 (Jessie) shipped it.

positive difference

fdimf(3) on Linux now