let pr_inter = function
  ppf -> function i -> Format.open_box 0 ;
                       Format.print_string (string_of_rat_inter i) ;
                       Format.close_box () ;