{-# htermination encodeFloat :: Integer -> Int -> Float #-}