Function put_double_field 

pub fn put_double_field(
    field_number: u32,
    value: f64,
    buf: &mut impl EncodeSink,
)

Write a tagged double field (tag + 8-byte payload).

Fused tag+payload sibling of encode_double; exists so generated write_to bodies are one call per field.