The text 4fa5521a31db, as Debian 3.1 (Sarge) shipped it.
declare an option with parameters of type double
clig_Double(7) on Linux now
