fn json_f64(v: f64) -> Value
A float that serializes the way Python writes it (20.0, not 20).
20.0
20