The text 00f3990f45f6, as Debian 3.0 (Woody) shipped it.
determine double precision machine parameters
dlamch(3) on Linux now
