Big Numbers in Lambda-Calculus

Dear friends of Hacker News, I am exploring how to manipulate large natural numbers in a "lambda-calculus" dialect. Do you know of any other "more professional" answers than this one?