double_lin(3) on Linux

The text 408ee073a9cb, as Debian 11 (Bullseye) shipped it.

double

double_lin(3) on Linux now