sinf(3) on Linux

The text 88fc2acd8cb8, as Debian 4.0 (Etch) shipped it.

sine function

sinf(3) on Linux now