sqrt(3) on Linux

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

square root function

sqrt(3) on Linux now