use Write;
/// Append `x` as Python's `repr(float)` would: shortest round-trip decimal with
/// a trailing `.0` on integer-valued finite floats. Rust's `{}` already gives the
/// shortest round-trip form, so only the `.0` and non-finite cases differ.