{-# htermination decodeFloat :: Float -> (Integer,Int) #-}