exception at "FloatInexactExn.main":
  floating point division by zero.