sqrtf(3avr) on Linux

The text c6e3611e155c, as Debian 9 (Stretch) shipped it.

sqrtf(3avr) on Linux now