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