improve support for floating point exceptions.
fix duplicates.
fix bad initialization.