Function emit_float_soc 

pub fn emit_float_soc() -> String

The SIMPLE float SoC (float_soc) for the iverilog proof: float_<name> under a CYCLE COUNTER, exposing the f64 result bits / cycles / done. A testbench presents float bit-patterns and reads the result.