import Numeric.IEEE
-maxFinite
succIEEE 0