exception at "FloatExn.main":
  square root of a negative number.