{-# htermination isIEEE :: Float -> Bool #-}