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