fn write_numeric<W>( value: f32, int_value: Option<i32>, has_sign: bool, dest: &mut W, ) -> Resultwhere W: Write,