dlasyf_rk(3) on Linux

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

double

dlasyf_rk(3) on Linux now