exception at "FloatExn.main":
  logarithm of a negative number.