dgesvxx(3) on Linux

The text fc08b5fdceeb, as Debian 12 (Bookworm) shipped it.

double

dgesvxx(3) on Linux now