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