let to_string x = Printf.sprintf "%a/%a"
      Z.sprintf (get_num x) Z.sprintf (get_den x)