The text e9b7ef7cf63e, as Debian 13 (Trixie) shipped it.
round to integer, toward zero
truncf(3) on Linux now
