AST Printer updated (lib-num/test_big_ints.ml)