let print_nat = pr_nat Format.std_formatter