VarFormatNumber(3w) on Linux

The text bc71c77f822d, as Debian 5.0 (Lenny) shipped it.

VarFormatNumber(3w) on Linux now