Clflags.Float_arg_helper(3o) on Linux

The text ff3c7c2e6e72, as Debian 12 (Bookworm) shipped it.

Optimization parameters represented as floats indexed by round number.