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