let print_rat = pr_rat Format.std_formatter