let ( / ) a b =
      if a = min_int && b = -1 then raise Overflow else a / b