let div_check x y =
  try
    ignore (x / y);
    false
  with Division_by_zero ->
    true