pub fn encode_push_int(n: i128) -> (String, String)
Encode an integer push, using small-integer opcodes where possible.