sinf(3) on Linux

The text be50fe044c1f, as Debian 10 (Buster) shipped it.

sine function

sinf(3) on Linux now