isinff(3avr) on Linux

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

isinff(3avr) on Linux now