{-# htermination fromDouble :: Fractional a => Double -> a #-}