Clflags.Float_arg_helper(3o) on Linux

The text 1b4dbd60e674, as Debian 11 (Bullseye) shipped it.

Optimization parameters represented as floats indexed by round number.