exception at "FloatInexactExn.main":
  floating point result is inexact.