fdim(3) on Linux

The text 21a4b94af51b, as Debian 7 (Wheezy) shipped it.

positive difference

fdim(3) on Linux now