hal_float_t(3hal) on Linux

The text f6d504f11775, as Debian 13 (Trixie) shipped it. The page shows this text now.

typedefs for HAL datatypes

hal_float_t(3hal) on Linux now