Function py_format_1f 

pub fn py_format_1f(x: f64) -> String

Python f"{x:.1f}" — one fixed decimal, round-half-to-even on the exact binary value.