The text 944fe1861482, as Debian 13 (Trixie) shipped it.
most efficient floating types
float_t(3type) on Linux now
