{-# htermination fromDouble :: Double -> Float #-}