AST printer updated (lib-marshal/test_nums.ml.diff)