sgeqrt3(3) on Linux

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

real

sgeqrt3(3) on Linux now