set_config_float(3alleg) on Linux

The text 339d5d49d7e3, as Debian 4.0 (Etch) shipped it.

Writes a float in the configuration file. Allegro game programming library.