let output chan x = Printf.fprintf chan "%a/%a"
      Z.output (get_num x) Z.output (get_den x)