The text c6da8ccf53c6, as Debian 4.0 (Etch) shipped it.
round to integer, towards zero
truncf(3) on Linux now
