pub fn encode_u128_into(value: u128, output: &mut String)