pub const DOUBLE_MAX: usize = 32;Expand description
Room for the longest thing write_double or write_g17 can write.
Both of them are bounded by the same thing, a mantissa of seventeen digits
with a handful of zeros or a . and an exponent around it, and neither can
reach thirty two bytes. It is worth saying out loud that this used to be
three hundred and fifty two, because Rust’s printer writes every leading
zero of a subnormal, and the port of Redis’s own printer is what shrank it.