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