let pr_rat = function
  ppf -> function Rat r -> Format.open_box 0 ;
                  Format.print_string (Num.string_of_num r) ;
                  Format.close_box () ;