The text 9cc72ae8b473, as Debian 13 (Trixie) shipped it.
floating-point multiply and add
fmal(3) on Linux now
