doubleSYeigen(3) on Linux

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

double

doubleSYeigen(3) on Linux now