fn long_integer(out: &mut impl Out, value: u64)
A Long-integer: its byte count, then its bytes, the most significant first, as few as hold it.