VarI1FromR4(3w) on Linux

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

VarI1FromR4(3w) on Linux now