{-# htermination floatRadix :: Float -> Integer #-}