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