scan_double(3diet) on Linux

The text 7719f32d5431, as Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.

parse a floating point number in decimal ASCII representation

scan_double(3diet) on Linux now