The text ebdb25563db7, as Debian 1.3 (Bo) shipped it.
determine double precision machine parameters
dlamch(3) on Linux now
