The text ae9f65644b8b, as Debian 9 (Stretch) shipped it.
round to integer, toward zero
truncf(3) on Linux now
