sgesdd(3) on Linux

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

real

sgesdd(3) on Linux now