The text e9278c8ccb5b, as Debian 8 (Jessie) shipped it.
round to integer, toward zero
trunc(3) on Linux now
