scan_double(3) on Linux

The text 7719f32d5431, as Debian 3.0 (Woody) shipped it.

parse a floating point number in decimal ASCII representation

scan_double(3) on Linux now