fun div_check (x, y) =
  not (Real.isFinite (x / y))