sinf(3) on Linux

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

sine function

sinf(3) on Linux now