Constant FLOAT_SOC_SRC 

pub const FLOAT_SOC_SRC: &str = "## To fhypf (a: Float, b: Float) -> Real:\n    Return sqrt(a * a + b * b).\n";

The flashed float kernel: fhypf(a,b) = sqrt(a*a + b*b) — the Euclidean hypotenuse as a Real. Exercises the full float lane: fp_mul (twice) + fp_addsub + fp_sqrt. It returns a FLOAT (not floored) so the SoC streams the raw f64 bits — the host floors to the integer hypotenuse (no float→int RTL needed on-chip).