sqrt(3) on Linux

The text 5d494b87b745, as Debian 4.0 (Etch) shipped it.

square root function

sqrt(3) on Linux now