sqrt(3) on Linux

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

square root function

sqrt(3) on Linux now