VarI4FromR8(3w) on Linux

The text 62f520b94366, as Debian 4.0 (Etch) shipped it.

VarI4FromR8(3w) on Linux now