Function py_float_repr 

pub fn py_float_repr(f: f64) -> String

Python’s float.__repr__: the shortest round-trip digits, fixed notation for decimal exponents in (-4, 16], otherwise d.ddde±XX with at least two exponent digits; json.dumps spells the non-finite values NaN / Infinity / -Infinity.