AST printer updated (lib-num-2/pi_big_int.ml)