The text f7fd4aa22ddb, as Debian 12 (Bookworm) shipped it.
most efficient floating types
float_t(3type) on Linux now
