{-# htermination exponent :: Float -> Int #-}