encode large int