hal_pin_float_new(3hal) on Linux

The text 404b1e9eb2cc, as Debian 13 (Trixie), Debian 12 (Bookworm) shipped it. The page shows this text now.

creates a HAL pin

hal_pin_float_new(3hal) on Linux now