AuFixedPointRoundDown(3x) on Linux

The text 4bccb9a40711, as Debian 1.3 (Bo), Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.

get the rounded down integer portion of a fixed point value.